Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
528 workflow run results
528 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix invariant_set elements schema in YAML witnesses locked #8990: Commit 8b79948 pushed by sim642
November 21, 2023 09:21 48m 34s svcomp24-dev
svcomp24-dev
November 21, 2023 09:21 48m 34s
Add unknown thread ID locked #8989: Pull request #1224 synchronize by karoliineh
November 21, 2023 09:20 28m 42s issue-392
issue-392
November 21, 2023 09:20 28m 42s
Add multiple as argument to threadenter in threadIdDomain locked #8988: Commit e19f87e pushed by karoliineh
November 21, 2023 09:20 27m 40s issue-392
issue-392
November 21, 2023 09:20 27m 40s
Do not set SV-COMP overflow flag on casts locked #8987: Pull request #1258 synchronize by jerhard
November 21, 2023 08:01 32m 50s no_overflow_on_casts
no_overflow_on_casts
November 21, 2023 08:01 32m 50s
Add cram test for sv-comp no-ov verdict. locked #8986: Commit 464cdd3 pushed by jerhard
November 21, 2023 08:01 39m 31s no_overflow_on_casts
no_overflow_on_casts
November 21, 2023 08:01 39m 31s
locked locked #8985: Scheduled
November 21, 2023 02:09 2h 10m 48s master
master
November 21, 2023 02:09 2h 10m 48s
add autotuner for math functions (activates tmpSpecial and float domain) locked #8984: Commit 75b3b83 pushed by stilscher
November 20, 2023 19:19 38m 9s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 19:19 38m 9s
Handle sqrt & Some Bodged Solution for computing through abs locked #8983: Pull request #1254 synchronize by stilscher
November 20, 2023 18:41 34m 39s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 18:41 34m 39s
add support for labs and llabs locked #8982: Commit c9be89e pushed by stilscher
November 20, 2023 18:41 34m 31s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 20, 2023 18:41 34m 31s
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