Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
2,155 workflow runs
2,155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace most physical equality on immutable types coverage #2364: Pull request #1597 synchronize by sim642
October 11, 2024 09:11 18s physical-equality
physical-equality
October 11, 2024 09:11 18s
Replace most physical equality on immutable types coverage #2363: Pull request #1597 opened by sim642
October 11, 2024 07:21 9m 49s physical-equality
physical-equality
October 11, 2024 07:21 9m 49s
coverage coverage #2362: Scheduled
October 11, 2024 02:38 12m 47s master
master
October 11, 2024 02:38 12m 47s
Remove restriction that no loop unrolling is done when breaks are in the loop coverage #2361: Pull request #1518 synchronize by karoliineh
October 10, 2024 19:40 9m 53s loop-unroll-ignore-breaks
loop-unroll-ignore-breaks
October 10, 2024 19:40 9m 53s
Restrict unrolling to loops that are nested within less than 4 loops coverage #2360: Pull request #1595 synchronize by karoliineh
October 10, 2024 10:11 10m 3s no-unrolling-resource
no-unrolling-resource
October 10, 2024 10:11 10m 3s
Restrict unrolling to loops that are nested within less than 4 loops coverage #2359: Pull request #1595 synchronize by karoliineh
October 10, 2024 09:46 9m 39s no-unrolling-resource
no-unrolling-resource
October 10, 2024 09:46 9m 39s
Handle loop statement comparison between two variables in loop unrolling coverage #2358: Pull request #1590 synchronize by karoliineh
October 10, 2024 09:02 10m 26s loopUnroll-loop-cond-vars
loopUnroll-loop-cond-vars
October 10, 2024 09:02 10m 26s
Handle loop statement comparison between two variables in loop unrolling coverage #2357: Pull request #1590 synchronize by karoliineh
October 10, 2024 09:00 9m 55s loopUnroll-loop-cond-vars
loopUnroll-loop-cond-vars
October 10, 2024 09:00 9m 55s
coverage coverage #2356: Scheduled
October 10, 2024 02:39 14m 10s master
master
October 10, 2024 02:39 14m 10s
Add YAML invariant_set indices to widening tokens coverage #2355: Pull request #1596 opened by sim642
October 9, 2024 07:40 9m 54s yaml-witness-invariant-set-widen-token
yaml-witness-invariant-set-widen-token
October 9, 2024 07:40 9m 54s
coverage coverage #2354: Scheduled
October 9, 2024 02:38 13m 33s master
master
October 9, 2024 02:38 13m 33s
Restrict unrolling to loops that are nested within less than 4 loops coverage #2353: Pull request #1595 opened by karoliineh
October 8, 2024 10:51 10m 8s no-unrolling-resource
no-unrolling-resource
October 8, 2024 10:51 10m 8s
coverage coverage #2352: Scheduled
October 8, 2024 02:42 11m 40s master
master
October 8, 2024 02:42 11m 40s
coverage coverage #2351: Scheduled
October 7, 2024 02:42 12m 38s master
master
October 7, 2024 02:42 12m 38s
coverage coverage #2350: Scheduled
October 6, 2024 02:43 13m 25s master
master
October 6, 2024 02:43 13m 25s
coverage coverage #2349: Scheduled
October 5, 2024 02:36 13m 45s master
master
October 5, 2024 02:36 13m 45s
Remove witness exclude-vars from svcomp conf coverage #2348: Pull request #1593 opened by sim642
October 4, 2024 08:07 9m 37s svcomp25-no-exclude-vars
svcomp25-no-exclude-vars
October 4, 2024 08:07 9m 37s
Remove fixed malloc wrappers from svcomp conf coverage #2347: Pull request #1592 opened by sim642
October 4, 2024 07:32 9m 41s svcomp25-no-mallocWrapper
svcomp25-no-mallocWrapper
October 4, 2024 07:32 9m 41s
coverage coverage #2346: Scheduled
October 4, 2024 02:39 13m 27s master
master
October 4, 2024 02:39 13m 27s
coverage coverage #2345: Scheduled
October 3, 2024 02:39 13m 45s master
master
October 3, 2024 02:39 13m 45s
Handle loop statement comparison between two variables in loop unrolling coverage #2344: Pull request #1590 opened by karoliineh
October 2, 2024 19:30 9m 53s loopUnroll-loop-cond-vars
loopUnroll-loop-cond-vars
October 2, 2024 19:30 9m 53s
Remove restriction that no loop unrolling is done when breaks are in the loop coverage #2343: Pull request #1518 synchronize by karoliineh
October 2, 2024 19:03 9m 45s loop-unroll-ignore-breaks
loop-unroll-ignore-breaks
October 2, 2024 19:03 9m 45s
Detect fixed loops with autotuner even if there is no assignment of const value to the loop variable before loop coverage #2342: Pull request #1516 synchronize by karoliineh
October 2, 2024 18:53 9m 42s loop-unrolling-bound-in-if-cond
loop-unrolling-bound-in-if-cond
October 2, 2024 18:53 9m 42s
Exclude multithreaded main-main races by threadflag coverage #2341: Pull request #1589 opened by sim642
October 2, 2024 15:03 10m 28s threadflag-access
threadflag-access
October 2, 2024 15:03 10m 28s
Remove IntDomain.MakeBooleans coverage #2340: Pull request #1588 opened by sim642
October 2, 2024 14:21 10m 17s booldomain
booldomain
October 2, 2024 14:21 10m 17s