Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
86 workflow run results
86 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Exclude free-free accesses from racing locked #8431: Pull request #1193 opened by sim642
September 26, 2023 15:16 34m 7s free-free-norace
free-free-norace
September 26, 2023 15:16 34m 7s
Memory Out-Of-Bounds Access Analysis locked #8430: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 15m 44s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 15m 44s
Refactor Access.may_race with match locked #8429: Commit 23863e5 pushed by sim642
September 26, 2023 15:09 40m 52s free-free-norace
free-free-norace
September 26, 2023 15:09 40m 52s
Use AddressDomain for queries locked #8428: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 34m 49s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 34m 49s
Merge branch 'master' into queries-ad-cont locked #8427: Commit e718562 pushed by sim642
September 26, 2023 14:45 39m 42s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 39m 42s
Add final messages about unsound results locked #8426: Pull request #1191 synchronize by sim642
September 26, 2023 12:20 33m 17s final-errors
final-errors
September 26, 2023 12:20 33m 17s
Update cram tests with final messages locked #8425: Commit 684a74c pushed by sim642
September 26, 2023 12:20 39m 17s final-errors
final-errors
September 26, 2023 12:20 39m 17s
Add some library functions for zstd locked #8424: Commit c4bf1cc pushed by sim642
September 26, 2023 12:16 32m 8s libfuns-zstd
libfuns-zstd
September 26, 2023 12:16 32m 8s
Add final messages about unsound results locked #8423: Pull request #1191 opened by sim642
September 26, 2023 11:33 29m 41s final-errors
final-errors
September 26, 2023 11:33 29m 41s
Add no suitable function final message locked #8422: Commit a28a8ff pushed by sim642
September 26, 2023 11:31 30m 59s final-errors
final-errors
September 26, 2023 11:31 30m 59s
Rename single_vf -> top and empty -> bot locked #8421: Commit ea0b506 pushed by karoliineh
September 26, 2023 10:08 32m 9s region-mallocfresh-try2
region-mallocfresh-try2
September 26, 2023 10:08 32m 9s
Add eval_offset tracing locked #8420: Commit 5347c08 pushed by sim642
September 26, 2023 08:22 38m 43s master
master
September 26, 2023 08:22 38m 43s
locked locked #8419: Scheduled
September 26, 2023 02:01 2h 17m 40s master
master
September 26, 2023 02:01 2h 17m 40s
Add zstd unsound both branches dead test locked #8418: Commit 810fab5 pushed by sim642
September 25, 2023 14:36 36m 22s master
master
September 25, 2023 14:36 36m 22s
Add eqd to TD3 tracing output locked #8417: Commit 23a5d83 pushed by sim642
September 25, 2023 13:30 39m 9s master
master
September 25, 2023 13:30 39m 9s
Spawn threads created from unknown functions as non-unique locked #8416: Pull request #1187 synchronize by michael-schwarz
September 25, 2023 11:07 39m 49s issue_843
issue_843
September 25, 2023 11:07 39m 49s
Turn optional argument into named argument locked #8415: Commit ccaffc5 pushed by michael-schwarz
September 25, 2023 11:07 41m 6s issue_843
issue_843
September 25, 2023 11:07 41m 6s
Add region interprocedural fixpoint error test locked #8414: Commit 16077e3 pushed by sim642
September 25, 2023 10:27 33m 56s master
master
September 25, 2023 10:27 33m 56s
Add conditional accesses to LibraryDsl locked #8413: Commit 57c5c3f pushed by sim642
September 25, 2023 08:37 30m 14s library-dsl-access-if
library-dsl-access-if
September 25, 2023 08:37 30m 14s
Add and fix library functions for Concrat benchmarks locked #8412: Pull request #1174 synchronize by sim642
September 25, 2023 08:27 32m 10s libfuns-concrat
libfuns-concrat
September 25, 2023 08:27 32m 10s
Add atexit test with spawn disabled locked #8411: Commit 4bc0303 pushed by sim642
September 25, 2023 08:27 32m 19s libfuns-concrat
libfuns-concrat
September 25, 2023 08:27 32m 19s
Add and fix library functions for Concrat benchmarks locked #8410: Pull request #1174 synchronize by sim642
September 25, 2023 08:01 30m 3s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 30m 3s
Add test for pthread locking function return values locked #8409: Commit 1947aae pushed by sim642
September 25, 2023 08:01 26m 52s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 26m 52s
Add more categories to unsound/imprecise call messages locked #8408: Commit 70f267b pushed by sim642
September 25, 2023 07:36 34m 19s master
master
September 25, 2023 07:36 34m 19s
Remove unused RegPart module locked #8407: Commit 8ad0161 pushed by karoliineh
September 25, 2023 07:26 39m 11s region-mallocfresh-try2
region-mallocfresh-try2
September 25, 2023 07:26 39m 11s