Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
295 workflow run results
295 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve multi-threaded valid-memcleanup coverage #839: Pull request #1246 synchronize by jerhard
November 22, 2023 10:27 20m 26s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:27 20m 26s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #838: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:22 13m 42s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:22 13m 42s
Improve multi-threaded valid-memcleanup coverage #837: Pull request #1246 synchronize by jerhard
November 22, 2023 10:13 12m 58s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:13 12m 58s
Improve multi-threaded valid-memcleanup coverage #836: Pull request #1246 synchronize by jerhard
November 22, 2023 10:04 13m 44s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:04 13m 44s
Improve multi-threaded valid-memcleanup coverage #835: Pull request #1246 synchronize by jerhard
November 22, 2023 10:02 13m 45s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 10:02 13m 45s
Improve multi-threaded valid-memcleanup coverage #834: Pull request #1246 synchronize by jerhard
November 22, 2023 09:53 13m 47s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 22, 2023 09:53 13m 47s
Do not invalidate special function lvals recursively coverage #833: Pull request #1264 synchronize by karoliineh
November 22, 2023 09:31 15m 51s base-special-lval
base-special-lval
November 22, 2023 09:31 15m 51s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #832: Pull request #1265 opened by michael-schwarz
November 22, 2023 08:36 13m 3s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 08:36 13m 3s
coverage coverage #831: Scheduled
November 22, 2023 02:16 19m 20s master
master
November 22, 2023 02:16 19m 20s
Do not invalidate special function lvals recursively coverage #830: Pull request #1264 synchronize by karoliineh
November 21, 2023 20:15 12m 56s base-special-lval
base-special-lval
November 21, 2023 20:15 12m 56s
Account for allocated heap memory which is unreachable from globals coverage #829: Pull request #1241 synchronize by mrstanb
November 21, 2023 20:04 13m 4s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 13m 4s
Do not invalidate special function lvals recursively coverage #828: Pull request #1264 opened by karoliineh
November 21, 2023 20:01 16m 52s base-special-lval
base-special-lval
November 21, 2023 20:01 16m 52s
Improve multi-threaded valid-memcleanup coverage #827: Pull request #1246 synchronize by jerhard
November 21, 2023 19:31 21m 3s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 19:31 21m 3s
Fix BlobSize for calloc coverage #826: Pull request #1262 synchronize by michael-schwarz
November 21, 2023 17:01 19m 1s issue_1259
issue_1259
November 21, 2023 17:01 19m 1s
Improve multi-threaded valid-memcleanup coverage #825: Pull request #1246 synchronize by jerhard
November 21, 2023 16:57 12m 26s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:57 12m 26s
Improve multi-threaded valid-memcleanup coverage #824: Pull request #1246 synchronize by jerhard
November 21, 2023 16:41 20m 28s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:41 20m 28s
Improve multi-threaded valid-memcleanup coverage #823: Pull request #1246 synchronize by jerhard
November 21, 2023 16:19 20m 20s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 16:19 20m 20s
Fix BlobSize for calloc coverage #822: Pull request #1262 synchronize by michael-schwarz
November 21, 2023 15:30 20m 33s issue_1259
issue_1259
November 21, 2023 15:30 20m 33s
Fix BlobSize for calloc coverage #821: Pull request #1262 opened by michael-schwarz
November 21, 2023 15:12 11m 29s issue_1259
issue_1259
November 21, 2023 15:12 11m 29s
Fix no-overflow cram test expected output coverage #820: Pull request #1261 opened by jerhard
November 21, 2023 15:05 13m 38s fix_no_ov_cram_test
fix_no_ov_cram_test
November 21, 2023 15:05 13m 38s
SV-COMP 2024 development coverage #819: Pull request #1257 synchronize by sim642
November 21, 2023 14:17 18m 5s svcomp24-dev
svcomp24-dev
November 21, 2023 14:17 18m 5s
Handle sqrt & Some Bodged Solution for computing through abs coverage #818: Pull request #1254 synchronize by jerhard
November 21, 2023 11:56 21m 5s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 21, 2023 11:56 21m 5s
Be more precise for << of Intervals coverage #817: Pull request #1252 synchronize by jerhard
November 21, 2023 11:03 16m 28s issue_1250
issue_1250
November 21, 2023 11:03 16m 28s
Be more precise for << of Intervals coverage #816: Pull request #1252 synchronize by jerhard
November 21, 2023 11:01 22m 30s issue_1250
issue_1250
November 21, 2023 11:01 22m 30s
Improve multi-threaded valid-memcleanup coverage #815: Pull request #1246 synchronize by michael-schwarz
November 21, 2023 09:22 27m 8s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 21, 2023 09:22 27m 8s