Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
346 workflow run results
346 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce a simplified version of td3 with warrowing (see PR 1611) coverage #2693: Pull request #1626 synchronize by FelixKrayer
9m 52s FelixKrayer:td_simplified
FelixKrayer:td_simplified
9m 52s
Sparsification of Affine Equality Matrix coverage #2692: Pull request #1625 synchronize by kadameit
9m 35s CopperCableIsolator:master
CopperCableIsolator:master
9m 35s
Sparsification of Affine Equality Matrix coverage #2691: Pull request #1625 synchronize by kadameit
9m 29s CopperCableIsolator:master
CopperCableIsolator:master
9m 29s
coverage coverage #2690: Scheduled
14m 13s master
master
14m 13s
Linear Two Variable Equality Domain Refining Value Domain coverage #2689: Pull request #1635 synchronize by DrMichaelPetter
10m 3s affineeq-refine
affineeq-refine
10m 3s
Linear Two Variable Equality Domain Refining Value Domain coverage #2688: Pull request #1635 synchronize by DrMichaelPetter
9m 36s affineeq-refine
affineeq-refine
9m 36s
Bitfield Domain coverage #2687: Pull request #1623 synchronize by ManuelLerchner
12m 19s ManuelLerchner:master
ManuelLerchner:master
12m 19s
Bitfield Domain coverage #2686: Pull request #1623 synchronize by ManuelLerchner
9m 7s ManuelLerchner:master
ManuelLerchner:master
9m 7s
Optimize none base privatization, add eager Vojdani privatization coverage #2685: Pull request #1552 synchronize by sim642
9m 45s traces-vojdani
traces-vojdani
9m 45s
Optimize none base privatization, add eager Vojdani privatization coverage #2684: Pull request #1552 synchronize by sim642
5m 24s traces-vojdani
traces-vojdani
5m 24s
Linear Two Variable Equality Domain Refining Value Domain coverage #2683: Pull request #1635 synchronize by DrMichaelPetter
12m 30s affineeq-refine
affineeq-refine
12m 30s
Optimize none base privatization, add eager Vojdani privatization coverage #2682: Pull request #1552 synchronize by sim642
4m 57s traces-vojdani
traces-vojdani
4m 57s
Implement delayed widening coverage #2681: Pull request #1483 synchronize by sim642
10m 16s RonaldJudin:delay-widening
RonaldJudin:delay-widening
10m 16s
coverage coverage #2680: Scheduled
14m 32s master
master
14m 32s
Sparsification of Affine Equality Matrix coverage #2679: Pull request #1625 synchronize by kadameit
9m 57s CopperCableIsolator:master
CopperCableIsolator:master
9m 57s
Sparsification of Affine Equality Matrix coverage #2678: Pull request #1625 synchronize by kadameit
4m 37s CopperCableIsolator:master
CopperCableIsolator:master
4m 37s
wrap speculative mode around bounds computation coverage #2675: Pull request #1649 synchronize by DrMichaelPetter
10m 27s fix-apron-overflows
fix-apron-overflows
10m 27s
wrap speculative mode around bounds computation coverage #2674: Pull request #1649 synchronize by DrMichaelPetter
9m 48s fix-apron-overflows
fix-apron-overflows
9m 48s
Sparsification of Affine Equality Matrix coverage #2673: Pull request #1625 synchronize by kadameit
9m 42s CopperCableIsolator:master
CopperCableIsolator:master
9m 42s
Introduce a simplified version of td3 with warrowing (see PR 1611) coverage #2672: Pull request #1626 synchronize by FelixKrayer
10m 16s FelixKrayer:td_simplified
FelixKrayer:td_simplified
10m 16s
Linear Two Variable Equality Domain Refining Value Domain coverage #2671: Pull request #1635 synchronize by DrMichaelPetter
9m 42s affineeq-refine
affineeq-refine
9m 42s
Linear Two Variable Equality Domain Refining Value Domain coverage #2670: Pull request #1635 synchronize by DrMichaelPetter
5m 2s affineeq-refine
affineeq-refine
5m 2s
wrap speculative mode around bounds computation coverage #2669: Pull request #1649 opened by DrMichaelPetter
9m 55s fix-apron-overflows
fix-apron-overflows
9m 55s
Relational: Use same invalidation strategy as base coverage #2668: Pull request #1646 synchronize by michael-schwarz
11m 14s issue_1535
issue_1535
11m 14s
Add termination analysis success messages for loop bounds coverage #2667: Pull request #1580 synchronize by sim642
10m 6s issue-1577
issue-1577
10m 6s
ProTip! You can narrow down the results and go further in time using created:<2024-12-19 or the other filters available.