Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
406 workflow run results
406 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Be more precise for << of Intervals locked #8981: Pull request #1252 synchronize by michael-schwarz
November 20, 2023 15:59 29m 39s issue_1250
issue_1250
November 20, 2023 15:59 29m 39s
Unify naming locked #8980: Commit 5a88630 pushed by michael-schwarz
November 20, 2023 15:59 27m 2s issue_1250
issue_1250
November 20, 2023 15:59 27m 2s
Do not set SV-COMP overflow flag on casts locked #8979: Pull request #1258 opened by michael-schwarz
November 20, 2023 15:57 27m 40s no_overflow_on_casts
no_overflow_on_casts
November 20, 2023 15:57 27m 40s
Add test case for cast. locked #8978: Commit 4f7eb52 pushed by jerhard
November 20, 2023 15:34 28m 8s no_overflow_on_casts
no_overflow_on_casts
November 20, 2023 15:34 28m 8s
Merge pull request #1251 from FungOliver/Fix-debugger locked #8977: Commit 1e0a9de pushed by sim642
November 20, 2023 13:55 44m 54s master
master
November 20, 2023 13:55 44m 54s
Update for Earlybird usage locked #8976: Pull request #1251 synchronize by sim642
November 20, 2023 12:45 47m 34s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 20, 2023 12:45 47m 34s
SV-COMP 2024 development locked #8975: Pull request #1257 opened by sim642
November 20, 2023 11:51 29m 48s svcomp24-dev
svcomp24-dev
November 20, 2023 11:51 29m 48s
Update SV-COMP releasing guide for 2024 locked #8974: Commit 0ee71a0 pushed by sim642
November 20, 2023 11:48 28m 18s svcomp24-dev
svcomp24-dev
November 20, 2023 11:48 28m 18s
Deactivate mhp and region for single-threaded programs locked #8973: Commit 3af192d pushed by sim642
November 20, 2023 11:10 28m 14s svcomp24-dev
svcomp24-dev
November 20, 2023 11:10 28m 14s
Add ana.autotune.activated schema locked #8972: Commit 6797cbb pushed by sim642
November 20, 2023 10:23 35m 55s svcomp24-dev
svcomp24-dev
November 20, 2023 10:23 35m 55s
Handle sqrt & Some Bodged Solution for computing through abs locked #8971: Pull request #1254 synchronize by stilscher
November 20, 2023 10:10 53m 18s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 10:10 53m 18s
remove special cases handled by general case locked #8970: Commit 19190ca pushed by stilscher
November 20, 2023 10:10 29m 42s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 10:10 29m 42s
Handle sqrt & Some Bodged Solution for computing through abs locked #8969: Pull request #1254 synchronize by sim642
November 20, 2023 10:04 43m 44s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 10:04 43m 44s
Fix BaseInvariant abs indentation locked #8968: Commit 0cb1b7e pushed by sim642
November 20, 2023 10:04 36m 19s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 10:04 36m 19s
Merge branch 'master' into issue-392 locked #8967: Commit 8385d84 pushed by karoliineh
November 20, 2023 10:04 9m 19s issue-392
issue-392
November 20, 2023 10:04 9m 19s
Add unknown thread ID locked #8966: Pull request #1224 synchronize by karoliineh
November 20, 2023 10:04 9m 22s issue-392
issue-392
November 20, 2023 10:04 9m 22s
Handle sqrt & Some Bodged Solution for computing through abs locked #8965: Pull request #1254 synchronize by sim642
November 20, 2023 09:59 30m 4s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 09:59 30m 4s
Move abs refine to BaseInvariant locked #8964: Commit 9d77dec pushed by sim642
November 20, 2023 09:59 24m 54s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 09:59 24m 54s
Rename test cases to avoid duplicate test case ids. locked #8963: Commit 870b20d pushed by jerhard
November 20, 2023 09:29 41m 0s benchmark_sv_comp
benchmark_sv_comp
November 20, 2023 09:29 41m 0s
Make SV-COMP validation strict locked #8962: Commit ecd48aa pushed by sim642
November 20, 2023 09:06 28m 42s svcomp24-dev
svcomp24-dev
November 20, 2023 09:06 28m 42s
Add support for CWE-562 locked #8961: Pull request #1256 opened by mrstanb
November 20, 2023 07:20 24m 23s mrstanb:add-support-for-cwe-562
mrstanb:add-support-for-cwe-562
November 20, 2023 07:20 24m 23s
locked locked #8960: Scheduled
November 20, 2023 02:07 2h 15m 21s master
master
November 20, 2023 02:07 2h 15m 21s
Update for Earlybird usage locked #8959: Pull request #1251 synchronize by FungOliver
November 20, 2023 00:55 25m 30s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 20, 2023 00:55 25m 30s
Improve multi-threaded valid-memcleanup locked #8958: Pull request #1246 synchronize by mrstanb
November 19, 2023 18:46 30m 16s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 18:46 30m 16s
Be more precise for << of Intervals locked #8957: Pull request #1252 synchronize by michael-schwarz
November 19, 2023 18:28 37m 42s issue_1250
issue_1250
November 19, 2023 18:28 37m 42s