Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
281 workflow run results
281 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #856: Scheduled
November 24, 2023 02:07 20m 3s master
master
November 24, 2023 02:07 20m 3s
Fix Not_found exception in autotuner with congruences and termination. coverage #855: Pull request #1271 synchronize by jerhard
November 23, 2023 14:00 13m 35s not_found_autotuner_termination
not_found_autotuner_termination
November 23, 2023 14:00 13m 35s
Improve trigonometric abstractions coverage #854: Pull request #1272 synchronize by stilscher
November 23, 2023 13:52 13m 18s improve-trig
improve-trig
November 23, 2023 13:52 13m 18s
Improve trigonometric abstractions coverage #853: Pull request #1272 synchronize by stilscher
November 23, 2023 13:48 18m 28s improve-trig
improve-trig
November 23, 2023 13:48 18m 28s
Improve trigonometric abstractions coverage #852: Pull request #1272 opened by stilscher
November 23, 2023 13:39 15m 33s improve-trig
improve-trig
November 23, 2023 13:39 15m 33s
Fix Not_found exception in autotuner with congruences and termination. coverage #851: Pull request #1271 opened by jerhard
November 23, 2023 13:10 14m 6s not_found_autotuner_termination
not_found_autotuner_termination
November 23, 2023 13:10 14m 6s
SV-COMP 2024 development coverage #850: Pull request #1257 synchronize by sim642
November 23, 2023 11:38 20m 15s svcomp24-dev
svcomp24-dev
November 23, 2023 11:38 20m 15s
Fix ordering of queries by deduplicating indices. coverage #849: Pull request #1270 opened by jerhard
November 23, 2023 09:35 13m 8s query_ordering
query_ordering
November 23, 2023 09:35 13m 8s
coverage coverage #848: Scheduled
November 23, 2023 02:09 22m 37s master
master
November 23, 2023 02:09 22m 37s
SV-COMP 2024 development coverage #847: Pull request #1257 synchronize by sim642
November 22, 2023 12:51 20m 34s svcomp24-dev
svcomp24-dev
November 22, 2023 12:51 20m 34s
SV-COMP 2024 development coverage #846: Pull request #1257 synchronize by sim642
November 22, 2023 12:30 16m 9s svcomp24-dev
svcomp24-dev
November 22, 2023 12:30 16m 9s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #845: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 12:21 18m 34s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 12:21 18m 34s
Add unknown functions from SV-COMP coverage #844: Pull request #1269 synchronize by sim642
November 22, 2023 12:10 12m 50s svcomp24-funs
svcomp24-funs
November 22, 2023 12:10 12m 50s
Add unknown functions from SV-COMP coverage #843: Pull request #1269 synchronize by karoliineh
November 22, 2023 11:54 18m 32s svcomp24-funs
svcomp24-funs
November 22, 2023 11:54 18m 32s
Add unknown functions from SV-COMP coverage #842: Pull request #1269 opened by karoliineh
November 22, 2023 11:49 12m 47s svcomp24-funs
svcomp24-funs
November 22, 2023 11:49 12m 47s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned coverage #841: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 10:53 13m 10s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 10:53 13m 10s
Account for allocated heap memory which is unreachable from globals coverage #840: Pull request #1241 synchronize by michael-schwarz
November 22, 2023 10:51 13m 38s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 22, 2023 10:51 13m 38s
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