Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
413 workflow run results
413 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Exclude free-free accesses from racing options #6160: Pull request #1193 opened by sim642
September 26, 2023 15:16 26s free-free-norace
free-free-norace
September 26, 2023 15:16 26s
Memory Out-Of-Bounds Access Analysis options #6159: Pull request #1094 synchronize by mrstanb
September 26, 2023 15:11 20s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 26, 2023 15:11 20s
Refactor Access.may_race with match options #6158: Commit 23863e5 pushed by sim642
September 26, 2023 15:09 20s free-free-norace
free-free-norace
September 26, 2023 15:09 20s
Use AddressDomain for queries options #6157: Pull request #1144 synchronize by sim642
September 26, 2023 14:45 30s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 30s
Merge branch 'master' into queries-ad-cont options #6156: Commit e718562 pushed by sim642
September 26, 2023 14:45 26s queries-ad-cont
queries-ad-cont
September 26, 2023 14:45 26s
Add final messages about unsound results options #6155: Pull request #1191 synchronize by sim642
September 26, 2023 12:20 25s final-errors
final-errors
September 26, 2023 12:20 25s
Update cram tests with final messages options #6154: Commit 684a74c pushed by sim642
September 26, 2023 12:20 22s final-errors
final-errors
September 26, 2023 12:20 22s
Add some library functions for zstd options #6153: Commit c4bf1cc pushed by sim642
September 26, 2023 12:16 17s libfuns-zstd
libfuns-zstd
September 26, 2023 12:16 17s
Add final messages about unsound results options #6152: Pull request #1191 opened by sim642
September 26, 2023 11:33 22s final-errors
final-errors
September 26, 2023 11:33 22s
Add no suitable function final message options #6151: Commit a28a8ff pushed by sim642
September 26, 2023 11:31 29s final-errors
final-errors
September 26, 2023 11:31 29s
Rename single_vf -> top and empty -> bot options #6150: Commit ea0b506 pushed by karoliineh
September 26, 2023 10:08 21s region-mallocfresh-try2
region-mallocfresh-try2
September 26, 2023 10:08 21s
Add eval_offset tracing options #6149: Commit 5347c08 pushed by sim642
September 26, 2023 08:22 22s master
master
September 26, 2023 08:22 22s
Add zstd unsound both branches dead test options #6148: Commit 810fab5 pushed by sim642
September 25, 2023 14:36 28s master
master
September 25, 2023 14:36 28s
Add eqd to TD3 tracing output options #6147: Commit 23a5d83 pushed by sim642
September 25, 2023 13:30 23s master
master
September 25, 2023 13:30 23s
Spawn threads created from unknown functions as non-unique options #6146: Pull request #1187 synchronize by michael-schwarz
September 25, 2023 11:07 17s issue_843
issue_843
September 25, 2023 11:07 17s
Turn optional argument into named argument options #6145: Commit ccaffc5 pushed by michael-schwarz
September 25, 2023 11:07 24s issue_843
issue_843
September 25, 2023 11:07 24s
Add region interprocedural fixpoint error test options #6144: Commit 16077e3 pushed by sim642
September 25, 2023 10:27 21s master
master
September 25, 2023 10:27 21s
Add conditional accesses to LibraryDsl options #6143: Commit 57c5c3f pushed by sim642
September 25, 2023 08:37 24s library-dsl-access-if
library-dsl-access-if
September 25, 2023 08:37 24s
Add and fix library functions for Concrat benchmarks options #6142: Pull request #1174 synchronize by sim642
September 25, 2023 08:27 17s libfuns-concrat
libfuns-concrat
September 25, 2023 08:27 17s
Add atexit test with spawn disabled options #6141: Commit 4bc0303 pushed by sim642
September 25, 2023 08:27 23s libfuns-concrat
libfuns-concrat
September 25, 2023 08:27 23s
Add and fix library functions for Concrat benchmarks options #6140: Pull request #1174 synchronize by sim642
September 25, 2023 08:01 25s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 25s
Add test for pthread locking function return values options #6139: Commit 1947aae pushed by sim642
September 25, 2023 08:01 18s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 18s
Add more categories to unsound/imprecise call messages options #6138: Commit 70f267b pushed by sim642
September 25, 2023 07:36 24s master
master
September 25, 2023 07:36 24s
Remove unused RegPart module options #6137: Commit 8ad0161 pushed by karoliineh
September 25, 2023 07:26 22s region-mallocfresh-try2
region-mallocfresh-try2
September 25, 2023 07:26 22s
Spawn threads created from unknown functions as non-unique options #6136: Pull request #1187 opened by michael-schwarz
September 24, 2023 15:29 17s issue_843
issue_843
September 24, 2023 15:29 17s
ProTip! You can narrow down the results and go further in time using created:<2023-09-24 or the other filters available.