Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,861 workflow runs
1,861 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Split IntDomains into separate files docs #1910: Pull request #1606 opened by sim642
October 25, 2024 14:34 4m 56s intdomain-split
intdomain-split
October 25, 2024 14:34 4m 56s
Add IntDomain exclusions to goblint-lib-modules.py docs #1909: Commit db37e85 pushed by sim642
October 25, 2024 14:25 4m 41s intdomain-split
intdomain-split
October 25, 2024 14:25 4m 41s
Optimize none base privatization, add eager Vojdani privatization docs #1908: Pull request #1552 synchronize by sim642
October 25, 2024 12:42 4m 23s traces-vojdani
traces-vojdani
October 25, 2024 12:42 4m 23s
Update comment about unknown function spawn sync docs #1907: Commit 7a595a1 pushed by sim642
October 25, 2024 12:42 4m 30s traces-vojdani
traces-vojdani
October 25, 2024 12:42 4m 30s
Optimize none base privatization, add eager Vojdani privatization docs #1906: Pull request #1552 synchronize by sim642
October 25, 2024 12:34 4m 47s traces-vojdani
traces-vojdani
October 25, 2024 12:34 4m 47s
Keep only NonePriv3 in BasePriv docs #1905: Commit 5e7c5c7 pushed by sim642
October 25, 2024 12:34 4m 53s traces-vojdani
traces-vojdani
October 25, 2024 12:34 4m 53s
Sanity test all solvers and fix topdown_term docs #1904: Pull request #1605 opened by sim642
October 25, 2024 08:41 4m 47s topdown_term
topdown_term
October 25, 2024 08:41 4m 47s
Add cram tests for remaining solvers docs #1903: Commit c348dd6 pushed by sim642
October 24, 2024 14:38 4m 50s topdown_term
topdown_term
October 24, 2024 14:38 4m 50s
Merge pull request #1602 from goblint/stringdomain-hash docs #1902: Commit 9a8dd4e pushed by sim642
October 24, 2024 07:25 5m 2s master
master
October 24, 2024 07:25 5m 2s
Merge pull request #1604 from goblint/issue-1181 docs #1901: Commit 0a85a53 pushed by sim642
October 24, 2024 07:23 4m 46s master
master
October 24, 2024 07:23 4m 46s
Merge pull request #1603 from goblint/unknown-function-spawn docs #1900: Commit cdfb4a2 pushed by sim642
October 24, 2024 07:21 4m 58s master
master
October 24, 2024 07:21 4m 58s
Consider all spawning functions in autotuner docs #1899: Pull request #1604 opened by sim642
October 23, 2024 14:29 4m 47s issue-1181
issue-1181
October 23, 2024 14:29 4m 47s
Fix sem.unknown_function.spawn handling in base docs #1898: Pull request #1603 opened by sim642
October 23, 2024 14:27 4m 33s unknown-function-spawn
unknown-function-spawn
October 23, 2024 14:27 4m 33s
Consider all spawning functions in autotuner (closes #1181) docs #1897: Commit b00c608 pushed by sim642
October 23, 2024 14:19 4m 38s issue-1181
issue-1181
October 23, 2024 14:19 4m 38s
Add option sem.atexit.ignore docs #1896: Commit 4d4de22 pushed by sim642
October 23, 2024 14:05 4m 50s unknown-function-spawn
unknown-function-spawn
October 23, 2024 14:05 4m 50s
Merge pull request #1593 from goblint/svcomp25-no-exclude-vars docs #1895: Commit 913220d pushed by sim642
October 22, 2024 12:28 5m 45s master
master
October 22, 2024 12:28 5m 45s
Add Journault example of unsound heterogeneous join with integer poly… docs #1894: Commit f264193 pushed by sim642
October 22, 2024 09:41 4m 29s simmo-phd-thesis-unassume
simmo-phd-thesis-unassume
October 22, 2024 09:41 4m 29s
Improve flat string domain hash docs #1893: Pull request #1602 opened by sim642
October 18, 2024 09:38 5m 0s stringdomain-hash
stringdomain-hash
October 18, 2024 09:38 5m 0s
Improve StringDomain type safety by matching all domains docs #1892: Commit 2284da8 pushed by sim642
October 18, 2024 09:36 4m 30s stringdomain-hash
stringdomain-hash
October 18, 2024 09:36 4m 30s
SV-COMP 2025 development docs #1891: Pull request #1601 synchronize by sim642
October 18, 2024 09:21 20m 11s svcomp25-dev
svcomp25-dev
October 18, 2024 09:21 20m 11s
Document SV-COMP bench-defs MR docs #1890: Commit d3c5d35 pushed by sim642
October 18, 2024 09:21 19m 54s svcomp25-dev
svcomp25-dev
October 18, 2024 09:21 19m 54s
SV-COMP 2025 development docs #1889: Pull request #1601 synchronize by sim642
October 17, 2024 12:33 4m 37s svcomp25-dev
svcomp25-dev
October 17, 2024 12:33 4m 37s
Merge branch 'yaml-witness-invariant-set-widen-token' into svcomp25-dev docs #1888: Commit 010c422 pushed by sim642
October 17, 2024 12:33 4m 27s svcomp25-dev
svcomp25-dev
October 17, 2024 12:33 4m 27s
SV-COMP 2025 development docs #1887: Pull request #1601 opened by sim642
October 17, 2024 12:31 4m 19s svcomp25-dev
svcomp25-dev
October 17, 2024 12:31 4m 19s
Update sv-comp/archive.sh for 2025 docs #1886: Commit 6a97380 pushed by sim642
October 17, 2024 12:29 4m 46s svcomp25-dev
svcomp25-dev
October 17, 2024 12:29 4m 46s