Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
3,639 workflow runs
3,639 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1607 from goblint/pthread_self indentation #11338: Commit a080563 pushed by sim642
October 30, 2024 14:39 1m 39s master
master
October 30, 2024 14:39 1m 39s
Add pthread_self support indentation #11337: Pull request #1607 synchronize by sim642
October 30, 2024 13:36 1m 49s pthread_self
pthread_self
October 30, 2024 13:36 1m 49s
Fix plain thread ID is_main unsoundness when ana.thread.include-node … indentation #11336: Commit 1bb8db1 pushed by sim642
October 30, 2024 13:36 1m 40s pthread_self
pthread_self
October 30, 2024 13:36 1m 40s
Add pthread_self support indentation #11335: Pull request #1607 synchronize by sim642
October 28, 2024 13:29 1m 55s pthread_self
pthread_self
October 28, 2024 13:29 1m 55s
Improve plain thread ID is_unique indentation #11334: Commit 568e97c pushed by sim642
October 28, 2024 13:29 1m 42s pthread_self
pthread_self
October 28, 2024 13:29 1m 42s
Add pthread_self support indentation #11333: Pull request #1607 opened by sim642
October 28, 2024 12:06 2s pthread_self
pthread_self
October 28, 2024 12:06 2s
Make 51-threadjoins/09-join-main runnable indentation #11332: Commit 01bff20 pushed by sim642
October 28, 2024 12:00 2s pthread_self
pthread_self
October 28, 2024 12:00 2s
Add TODOs about unrollType (issue #1600) indentation #11331: Commit 95e136b pushed by sim642
October 28, 2024 10:48 2s unrolltype
unrolltype
October 28, 2024 10:48 2s
Split IntDomains into separate files indentation #11330: Pull request #1606 opened by sim642
October 25, 2024 14:34 3s intdomain-split
intdomain-split
October 25, 2024 14:34 3s
Add IntDomain exclusions to goblint-lib-modules.py indentation #11329: Commit db37e85 pushed by sim642
October 25, 2024 14:25 3s intdomain-split
intdomain-split
October 25, 2024 14:25 3s
Optimize none base privatization, add eager Vojdani privatization indentation #11328: Pull request #1552 synchronize by sim642
October 25, 2024 12:42 1m 52s traces-vojdani
traces-vojdani
October 25, 2024 12:42 1m 52s
Update comment about unknown function spawn sync indentation #11327: Commit 7a595a1 pushed by sim642
October 25, 2024 12:42 1m 53s traces-vojdani
traces-vojdani
October 25, 2024 12:42 1m 53s
Keep only NonePriv3 in BasePriv indentation #11326: Commit 5e7c5c7 pushed by sim642
October 25, 2024 12:34 2m 2s traces-vojdani
traces-vojdani
October 25, 2024 12:34 2m 2s
Optimize none base privatization, add eager Vojdani privatization indentation #11325: Pull request #1552 synchronize by sim642
October 25, 2024 12:34 1m 45s traces-vojdani
traces-vojdani
October 25, 2024 12:34 1m 45s
Sanity test all solvers and fix topdown_term indentation #11324: Pull request #1605 opened by sim642
October 25, 2024 08:41 3s topdown_term
topdown_term
October 25, 2024 08:41 3s
Add cram tests for remaining solvers indentation #11323: Commit c348dd6 pushed by sim642
October 24, 2024 14:38 3s topdown_term
topdown_term
October 24, 2024 14:38 3s
Merge pull request #1602 from goblint/stringdomain-hash indentation #11322: Commit 9a8dd4e pushed by sim642
October 24, 2024 07:25 1m 51s master
master
October 24, 2024 07:25 1m 51s
Merge pull request #1604 from goblint/issue-1181 indentation #11321: Commit 0a85a53 pushed by sim642
October 24, 2024 07:23 2m 10s master
master
October 24, 2024 07:23 2m 10s
Merge pull request #1603 from goblint/unknown-function-spawn indentation #11320: Commit cdfb4a2 pushed by sim642
October 24, 2024 07:21 1m 39s master
master
October 24, 2024 07:21 1m 39s
Consider all spawning functions in autotuner indentation #11319: Pull request #1604 opened by sim642
October 23, 2024 14:29 3s issue-1181
issue-1181
October 23, 2024 14:29 3s
Fix sem.unknown_function.spawn handling in base indentation #11318: Pull request #1603 opened by sim642
October 23, 2024 14:27 4s unknown-function-spawn
unknown-function-spawn
October 23, 2024 14:27 4s
Consider all spawning functions in autotuner (closes #1181) indentation #11317: Commit b00c608 pushed by sim642
October 23, 2024 14:19 2s issue-1181
issue-1181
October 23, 2024 14:19 2s
Add option sem.atexit.ignore indentation #11316: Commit 4d4de22 pushed by sim642
October 23, 2024 14:05 2s unknown-function-spawn
unknown-function-spawn
October 23, 2024 14:05 2s
Merge pull request #1593 from goblint/svcomp25-no-exclude-vars indentation #11315: Commit 913220d pushed by sim642
October 22, 2024 12:28 1m 45s master
master
October 22, 2024 12:28 1m 45s
Add Journault example of unsound heterogeneous join with integer poly… indentation #11314: Commit f264193 pushed by sim642
October 22, 2024 09:41 2s simmo-phd-thesis-unassume
simmo-phd-thesis-unassume
October 22, 2024 09:41 2s