Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1607 from goblint/pthread_self docs #1918: Commit a080563 pushed by sim642
October 30, 2024 14:39 4m 46s master
master
October 30, 2024 14:39 4m 46s
Add pthread_self support docs #1917: Pull request #1607 synchronize by sim642
October 30, 2024 13:36 4m 27s pthread_self
pthread_self
October 30, 2024 13:36 4m 27s
Fix plain thread ID is_main unsoundness when ana.thread.include-node … docs #1916: Commit 1bb8db1 pushed by sim642
October 30, 2024 13:36 4m 28s pthread_self
pthread_self
October 30, 2024 13:36 4m 28s
Add pthread_self support docs #1915: Pull request #1607 synchronize by sim642
October 28, 2024 13:29 4m 35s pthread_self
pthread_self
October 28, 2024 13:29 4m 35s
Improve plain thread ID is_unique docs #1914: Commit 568e97c pushed by sim642
October 28, 2024 13:29 4m 24s pthread_self
pthread_self
October 28, 2024 13:29 4m 24s
Add pthread_self support docs #1913: Pull request #1607 opened by sim642
October 28, 2024 12:06 4m 30s pthread_self
pthread_self
October 28, 2024 12:06 4m 30s
Make 51-threadjoins/09-join-main runnable docs #1912: Commit 01bff20 pushed by sim642
October 28, 2024 12:00 4m 42s pthread_self
pthread_self
October 28, 2024 12:00 4m 42s
Add TODOs about unrollType (issue #1600) docs #1911: Commit 95e136b pushed by sim642
October 28, 2024 10:48 4m 47s unrolltype
unrolltype
October 28, 2024 10:48 4m 47s
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