Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
741 workflow run results
741 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Improve multi-threaded valid-memcleanup locked #9015: Pull request #1246 synchronize by jerhard
November 21, 2023 16:41 24m 31s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:41 24m 31s
Improve multi-threaded valid-memcleanup locked #9014: Pull request #1246 synchronize by jerhard
November 21, 2023 16:19 46m 31s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:19 46m 31s
Fix BlobSize for calloc locked #9013: Pull request #1262 synchronize by michael-schwarz
November 21, 2023 15:30 42m 26s issue_1259
issue_1259
November 21, 2023 15:30 42m 26s
Merge branch 'master' into issue_1259 locked #9012: Commit 8542481 pushed by michael-schwarz
November 21, 2023 15:30 37m 49s issue_1259
issue_1259
November 21, 2023 15:30 37m 49s
Adapt cram test from #1258 to #1252 locked #9011: Commit 9c808c9 pushed by sim642
November 21, 2023 15:22 30m 33s master
master
November 21, 2023 15:22 30m 33s
Fix BlobSize for calloc locked #9010: Pull request #1262 opened by michael-schwarz
November 21, 2023 15:12 25m 40s issue_1259
issue_1259
November 21, 2023 15:12 25m 40s
Fix BlobSize for calloc locked #9009: Commit ed90e61 pushed by michael-schwarz
November 21, 2023 15:11 31m 29s issue_1259
issue_1259
November 21, 2023 15:11 31m 29s
Fix no-overflow cram test expected output locked #9008: Pull request #1261 opened by jerhard
November 21, 2023 15:05 33m 26s fix_no_ov_cram_test
fix_no_ov_cram_test
November 21, 2023 15:05 33m 26s
Update no-overflow cram test. locked #9007: Commit bc1a5f9 pushed by jerhard
November 21, 2023 15:01 47m 17s fix_no_ov_cram_test
fix_no_ov_cram_test
November 21, 2023 15:01 47m 17s