Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
557 workflow run results
557 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Do not invalidate special function lvals recursively locked #9031: Pull request #1264 synchronize by karoliineh
November 22, 2023 09:31 33m 3s base-special-lval
base-special-lval
November 22, 2023 09:31 33m 3s
Fix indentation locked #9030: Commit cb06f70 pushed by karoliineh
November 22, 2023 09:31 24m 18s base-special-lval
base-special-lval
November 22, 2023 09:31 24m 18s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned locked #9029: Pull request #1265 opened by michael-schwarz
November 22, 2023 08:36 39m 50s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 08:36 39m 50s
Enable mutex-meet-tid for ValidDeref locked #9028: Commit 17ebe80 pushed by michael-schwarz
November 22, 2023 08:29 32m 0s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 08:29 32m 0s
locked locked #9027: Scheduled
November 22, 2023 02:08 2h 11m 53s master
master
November 22, 2023 02:08 2h 11m 53s
Do not invalidate special function lvals recursively locked #9026: Pull request #1264 synchronize by karoliineh
November 21, 2023 20:15 47m 38s base-special-lval
base-special-lval
November 21, 2023 20:15 47m 38s
Update cram tests locked #9025: Commit 895bd9f pushed by karoliineh
November 21, 2023 20:15 30m 50s base-special-lval
base-special-lval
November 21, 2023 20:15 30m 50s
Account for allocated heap memory which is unreachable from globals locked #9024: Pull request #1241 synchronize by mrstanb
November 21, 2023 20:04 45m 52s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 45m 52s
Do not invalidate special function lvals recursively locked #9023: Pull request #1264 opened by karoliineh
November 21, 2023 20:01 20m 56s base-special-lval
base-special-lval
November 21, 2023 20:01 20m 56s
Special function lval not invalidated recursively locked #9022: Commit 60923ea pushed by karoliineh
November 21, 2023 19:59 34m 33s base-special-lval
base-special-lval
November 21, 2023 19:59 34m 33s
Let tmpSpecial be activated on demand by autotuner. locked #9021: Commit 3c37ca4 pushed by jerhard
November 21, 2023 19:46 30m 4s benchmark_sv_comp
benchmark_sv_comp
November 21, 2023 19:46 30m 4s
Rename testcases to deduplicate ids. locked #9020: Commit 78d04fa pushed by jerhard
November 21, 2023 19:43 26m 9s benchmark_sv_comp
benchmark_sv_comp
November 21, 2023 19:43 26m 9s
Improve multi-threaded valid-memcleanup locked #9019: Pull request #1246 synchronize by jerhard
November 21, 2023 19:31 33m 22s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 19:31 33m 22s
Fix BlobSize for calloc locked #9018: Pull request #1262 synchronize by michael-schwarz
November 21, 2023 17:01 44m 53s issue_1259
issue_1259
November 21, 2023 17:01 44m 53s
Add test locked #9017: Commit d1d85b3 pushed by michael-schwarz
November 21, 2023 17:01 29m 22s issue_1259
issue_1259
November 21, 2023 17:01 29m 22s
Improve multi-threaded valid-memcleanup locked #9016: Pull request #1246 synchronize by jerhard
November 21, 2023 16:57 25m 0s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:57 25m 0s