Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
643 workflow run results
643 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
<< Fix wrong order of minimal/maximal options #6631: Commit f6cef72 pushed by michael-schwarz
November 19, 2023 18:28 19s issue_1250
issue_1250
November 19, 2023 18:28 19s
Improve multi-threaded valid-memcleanup options #6630: Pull request #1246 synchronize by mrstanb
November 19, 2023 18:26 22s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:26 22s
Improve multi-threaded valid-memcleanup options #6629: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 18:02 15s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:02 15s
Improve multi-threaded valid-memcleanup options #6628: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:49 18s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:49 18s
Improve multi-threaded valid-memcleanup options #6627: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:15 20s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:15 20s
Merge pull request #1255 from goblint/autotune_termination_spec options #6626: Commit 1be498c pushed by jerhard
November 19, 2023 17:01 18s master
master
November 19, 2023 17:01 18s
Improve multi-threaded valid-memcleanup options #6625: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:41 17s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 17s
Account for allocated heap memory which is unreachable from globals options #6624: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:37 27s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 27s
Improve multi-threaded valid-memcleanup options #6623: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:36 21s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:36 21s
Account for allocated heap memory which is unreachable from globals options #6622: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:33 19s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:33 19s
Improve multi-threaded valid-memcleanup options #6621: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:32 23s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:32 23s
Add tmpSpecial to analyses, termination to aututoner. options #6620: Commit 67e311c pushed by jerhard
November 19, 2023 16:18 20s benchmark_sv_comp
benchmark_sv_comp
November 19, 2023 16:18 20s
Autotune termination spec before preprocessing, but not others. options #6619: Pull request #1255 synchronize by jerhard
November 19, 2023 15:58 25s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 25s
Use autotune.activated termination as separate switch whether termina… options #6618: Commit 9d8629d pushed by jerhard
November 19, 2023 15:58 18s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:58 18s
Autotune termination spec before preprocessing, but not others. options #6617: Pull request #1255 opened by jerhard
November 19, 2023 15:49 18s autotune_termination_spec
autotune_termination_spec
November 19, 2023 15:49 18s
ProTip! You can narrow down the results and go further in time using created:<2023-11-19 or the other filters available.