Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
748 workflow run results
748 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP 2024 development locked #9056: Pull request #1257 synchronize by sim642
November 22, 2023 12:51 39m 47s svcomp24-dev
svcomp24-dev
November 22, 2023 12:51 39m 47s
Merge remote-tracking branch 'mrstanb/improve-multi-threaded-valid-me… locked #9055: Commit d629d14 pushed by sim642
November 22, 2023 12:51 29m 58s svcomp24-dev
svcomp24-dev
November 22, 2023 12:51 29m 58s
Merge pull request #1269 from goblint/svcomp24-funs locked #9054: Commit 3414f4f pushed by sim642
November 22, 2023 12:32 49m 50s master
master
November 22, 2023 12:32 49m 50s
SV-COMP 2024 development locked #9053: Pull request #1257 synchronize by sim642
November 22, 2023 12:30 37m 58s svcomp24-dev
svcomp24-dev
November 22, 2023 12:30 37m 58s
Add CHANGELOG for v2.3.0 locked #9052: Commit 9c65057 pushed by sim642
November 22, 2023 12:30 34m 3s svcomp24-dev
svcomp24-dev
November 22, 2023 12:30 34m 3s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned locked #9051: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 12:21 32m 46s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 12:21 32m 46s
Undo setting mutex-meet-tid privatization in autotuner locked #9050: Commit 06f543a pushed by michael-schwarz
November 22, 2023 12:21 39m 27s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 12:21 39m 27s
Add unknown functions from SV-COMP locked #9049: Pull request #1269 synchronize by sim642
November 22, 2023 12:10 28m 17s svcomp24-funs
svcomp24-funs
November 22, 2023 12:10 28m 17s
Move *_unlocked functions to glibc group, fix *wscanf varargs locked #9048: Commit c98025c pushed by sim642
November 22, 2023 12:09 33m 6s svcomp24-funs
svcomp24-funs
November 22, 2023 12:09 33m 6s
Add unknown functions from SV-COMP locked #9047: Pull request #1269 synchronize by karoliineh
November 22, 2023 11:54 40m 23s svcomp24-funs
svcomp24-funs
November 22, 2023 11:54 40m 23s
Add fun def for iswxdigit #1239 locked #9046: Commit 949432b pushed by karoliineh
November 22, 2023 11:54 33m 35s svcomp24-funs
svcomp24-funs
November 22, 2023 11:54 33m 35s
Add unknown functions from SV-COMP locked #9045: Pull request #1269 opened by karoliineh
November 22, 2023 11:49 31m 39s svcomp24-funs
svcomp24-funs
November 22, 2023 11:49 31m 39s
Add fun defs for wprintf, iswxdigit and .*wscanf #1239 locked #9044: Commit 7159875 pushed by karoliineh
November 22, 2023 11:47 26m 52s svcomp24-funs
svcomp24-funs
November 22, 2023 11:47 26m 52s
Add missing fun defs from sv-benchmarks #1239 locked #9043: Commit 4fa70bd pushed by karoliineh
November 22, 2023 11:11 33m 16s svcomp24-funs
svcomp24-funs
November 22, 2023 11:11 33m 16s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned locked #9042: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:53 29m 33s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 29m 33s
Revert spurious changes to base.ml locked #9041: Commit 8ae1172 pushed by michael-schwarz
November 22, 2023 10:53 25m 25s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 25m 25s
Account for allocated heap memory which is unreachable from globals locked #9040: Pull request #1241 synchronize by michael-schwarz
November 22, 2023 10:51 31m 18s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 31m 18s
Merge pull request #1262 from goblint/issue_1259 locked #9039: Commit 46e56bd pushed by michael-schwarz
November 22, 2023 10:30 28m 48s master
master
November 22, 2023 10:30 28m 48s
Improve multi-threaded valid-memcleanup locked #9038: Pull request #1246 synchronize by jerhard
November 22, 2023 10:27 31m 35s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:27 31m 35s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned locked #9037: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:22 33m 0s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 33m 0s
Move AfterConfig.run to after the autotuner locked #9036: Commit c5cda33 pushed by michael-schwarz
November 22, 2023 10:22 31m 49s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 31m 49s
Improve multi-threaded valid-memcleanup locked #9035: Pull request #1246 synchronize by jerhard
November 22, 2023 10:13 31m 33s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:13 31m 33s
Improve multi-threaded valid-memcleanup locked #9034: Pull request #1246 synchronize by jerhard
November 22, 2023 10:04 27m 26s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:04 27m 26s
Improve multi-threaded valid-memcleanup locked #9033: Pull request #1246 synchronize by jerhard
November 22, 2023 10:02 27m 25s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:02 27m 25s
Improve multi-threaded valid-memcleanup locked #9032: Pull request #1246 synchronize by jerhard
November 22, 2023 09:53 25m 58s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 09:53 25m 58s