Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
272 workflow run results
272 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add support for labs and llabs options #6656: Commit c9be89e pushed by stilscher
November 20, 2023 18:41 21s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 18:41 21s
Be more precise for << of Intervals options #6655: Pull request #1252 synchronize by michael-schwarz
November 20, 2023 15:59 23s issue_1250
issue_1250
November 20, 2023 15:59 23s
Unify naming options #6654: Commit 5a88630 pushed by michael-schwarz
November 20, 2023 15:59 20s issue_1250
issue_1250
November 20, 2023 15:59 20s
Do not set SV-COMP overflow flag on casts options #6653: Pull request #1258 opened by michael-schwarz
November 20, 2023 15:57 21s no_overflow_on_casts
no_overflow_on_casts
November 20, 2023 15:57 21s
Add test case for cast. options #6652: Commit 4f7eb52 pushed by jerhard
November 20, 2023 15:34 26s no_overflow_on_casts
no_overflow_on_casts
November 20, 2023 15:34 26s
Merge pull request #1251 from FungOliver/Fix-debugger options #6651: Commit 1e0a9de pushed by sim642
November 20, 2023 13:55 3m 6s master
master
November 20, 2023 13:55 3m 6s
Update for Earlybird usage options #6650: Pull request #1251 synchronize by sim642
November 20, 2023 12:45 17s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 20, 2023 12:45 17s
SV-COMP 2024 development options #6649: Pull request #1257 opened by sim642
November 20, 2023 11:51 18s svcomp24-dev
svcomp24-dev
November 20, 2023 11:51 18s
Update SV-COMP releasing guide for 2024 options #6648: Commit 0ee71a0 pushed by sim642
November 20, 2023 11:48 17s svcomp24-dev
svcomp24-dev
November 20, 2023 11:48 17s
Deactivate mhp and region for single-threaded programs options #6647: Commit 3af192d pushed by sim642
November 20, 2023 11:10 19s svcomp24-dev
svcomp24-dev
November 20, 2023 11:10 19s
Add ana.autotune.activated schema options #6646: Commit 6797cbb pushed by sim642
November 20, 2023 10:23 21s svcomp24-dev
svcomp24-dev
November 20, 2023 10:23 21s
Handle sqrt & Some Bodged Solution for computing through abs options #6645: Pull request #1254 synchronize by stilscher
November 20, 2023 10:10 2m 10s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 10:10 2m 10s
remove special cases handled by general case options #6644: Commit 19190ca pushed by stilscher
November 20, 2023 10:10 51s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 10:10 51s
Handle sqrt & Some Bodged Solution for computing through abs options #6643: Pull request #1254 synchronize by sim642
November 20, 2023 10:04 4m 52s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 10:04 4m 52s
Fix BaseInvariant abs indentation options #6642: Commit 0cb1b7e pushed by sim642
November 20, 2023 10:04 43s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 10:04 43s
Merge branch 'master' into issue-392 options #6641: Commit 8385d84 pushed by karoliineh
November 20, 2023 10:04 24s issue-392
issue-392
November 20, 2023 10:04 24s
Add unknown thread ID options #6640: Pull request #1224 synchronize by karoliineh
November 20, 2023 10:04 21s issue-392
issue-392
November 20, 2023 10:04 21s
Handle sqrt & Some Bodged Solution for computing through abs options #6639: Pull request #1254 synchronize by sim642
November 20, 2023 09:59 19s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 09:59 19s
Move abs refine to BaseInvariant options #6638: Commit 9d77dec pushed by sim642
November 20, 2023 09:59 18s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 09:59 18s
Rename test cases to avoid duplicate test case ids. options #6637: Commit 870b20d pushed by jerhard
November 20, 2023 09:29 1m 58s benchmark_sv_comp
benchmark_sv_comp
November 20, 2023 09:29 1m 58s
Make SV-COMP validation strict options #6636: Commit ecd48aa pushed by sim642
November 20, 2023 09:06 19s svcomp24-dev
svcomp24-dev
November 20, 2023 09:06 19s
Add support for CWE-562 options #6635: Pull request #1256 opened by mrstanb
November 20, 2023 07:20 20s mrstanb:add-support-for-cwe-562
mrstanb:add-support-for-cwe-562
November 20, 2023 07:20 20s
Update for Earlybird usage options #6634: Pull request #1251 synchronize by FungOliver
November 20, 2023 00:55 20s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 20, 2023 00:55 20s
Improve multi-threaded valid-memcleanup options #6633: Pull request #1246 synchronize by mrstanb
November 19, 2023 18:46 18s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:46 18s
Be more precise for << of Intervals options #6632: Pull request #1252 synchronize by michael-schwarz
November 19, 2023 18:28 18s issue_1250
issue_1250
November 19, 2023 18:28 18s