Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
741 workflow run results
741 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extract thread-local-value examples from silver searcher locked #8354: Commit 16aa15f pushed by sim642
September 20, 2023 09:44 27m 18s race-challenges
race-challenges
September 20, 2023 09:44 27m 18s
Data-race challenges extracted from benchmarks locked #8353: Pull request #1178 opened by sim642
September 20, 2023 09:22 29m 31s race-challenges
race-challenges
September 20, 2023 09:22 29m 31s
Extract thread-binomial-join example from fzy locked #8352: Commit dbb4e9e pushed by sim642
September 20, 2023 09:19 30m 20s race-challenges
race-challenges
September 20, 2023 09:19 30m 20s
Extract thread-alive-counter-outer example from nnn locked #8351: Commit b0bc3ad pushed by sim642
September 20, 2023 08:38 24m 7s race-challenges
race-challenges
September 20, 2023 08:38 24m 7s
Extract thread-const-array-join example from level-ip locked #8350: Commit 4800dc2 pushed by sim642
September 20, 2023 08:20 24m 29s race-challenges
race-challenges
September 20, 2023 08:20 24m 29s
Extract thread-alive-counter example from C-Thread-Pool locked #8349: Commit beaa91f pushed by sim642
September 20, 2023 08:05 27m 43s race-challenges
race-challenges
September 20, 2023 08:05 27m 43s
Add and fix library functions for Concrat benchmarks locked #8348: Pull request #1174 synchronize by sim642
September 20, 2023 07:26 26m 33s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 26m 33s
Add test for atexit soundness locked #8347: Commit 71035d2 pushed by sim642
September 20, 2023 07:26 40m 28s libfuns-concrat
libfuns-concrat
September 20, 2023 07:26 40m 28s
locked locked #8346: Scheduled
September 20, 2023 02:00 2h 16m 41s master
master
September 20, 2023 02:00 2h 16m 41s
Fix trace calls outside of if tracing locked #8345: Commit d0e9064 pushed by michael-schwarz
September 19, 2023 19:49 46m 24s master
master
September 19, 2023 19:49 46m 24s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis locked #8344: Pull request #1176 opened by sim642
September 19, 2023 14:50 34m 50s race-null
race-null
September 19, 2023 14:50 34m 50s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p… locked #8343: Commit 204594e pushed by sim642
September 19, 2023 14:45 47m 37s race-null
race-null
September 19, 2023 14:45 47m 37s
Add and fix library functions for Concrat benchmarks locked #8342: Pull request #1174 synchronize by sim642
September 19, 2023 12:06 39m 52s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 39m 52s
Add some missing library functions for shairport locked #8341: Commit a4772d6 pushed by sim642
September 19, 2023 12:06 33m 8s libfuns-concrat
libfuns-concrat
September 19, 2023 12:06 33m 8s
Remove VFB and B domains locked #8340: Commit 0d4d713 pushed by karoliineh
September 19, 2023 11:46 32m 29s region-mallocfresh-try2
region-mallocfresh-try2
September 19, 2023 11:46 32m 29s
Add tests for library function races via NULL locked #8339: Commit c5136d1 pushed by sim642
September 19, 2023 11:28 30m 10s race-null
race-null
September 19, 2023 11:28 30m 10s
Fix Cilfacade.pretty_typsig_like_typ forgetting pointers from name on… locked #8338: Commit 0f59ac9 pushed by sim642
September 19, 2023 10:50 41m 33s master
master
September 19, 2023 10:50 41m 33s
Move duplicated BS module definition to top locked #8337: Commit d35519b pushed by karoliineh
September 19, 2023 10:12 31m 37s region-mallocfresh-try2
region-mallocfresh-try2
September 19, 2023 10:12 31m 37s
Merge pull request #1173 from goblint/thread-self-create locked #8336: Commit 8ec8c31 pushed by sim642
September 19, 2023 08:13 31m 14s master
master
September 19, 2023 08:13 31m 14s
locked locked #8335: Scheduled
September 19, 2023 02:01 2h 16m 45s master
master
September 19, 2023 02:01 2h 16m 45s
Use BoolDomain instead of SetDomain locked #8334: Commit b64b65f pushed by karoliineh
September 18, 2023 18:47 25m 52s region-mallocfresh
region-mallocfresh
September 18, 2023 18:47 25m 52s
Simplify domains in regionDomain locked #8333: Commit 04bbbc7 pushed by karoliineh
September 18, 2023 18:47 36m 12s region-mallocfresh-try2
region-mallocfresh-try2
September 18, 2023 18:47 36m 12s
Add and fix library functions for Concrat benchmarks locked #8332: Pull request #1174 opened by sim642
September 18, 2023 15:03 34m 17s libfuns-concrat
libfuns-concrat
September 18, 2023 15:03 34m 17s
Remove old library function classify locked #8331: Commit 4e83af9 pushed by sim642
September 18, 2023 14:51 25m 39s libfuns-concrat
libfuns-concrat
September 18, 2023 14:51 25m 39s
Merge pull request #1172 from goblint/races_sjlj locked #8330: Commit 851c6b3 pushed by michael-schwarz
September 18, 2023 14:10 39m 28s master
master
September 18, 2023 14:10 39m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.