Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
799 workflow run results
799 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Linear Two-Variable Equalities Analysis coverage #1442: Pull request #1297 synchronize by DrMichaelPetter
February 22, 2024 21:53 9m 9s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 22, 2024 21:53 9m 9s
Move all tests to dune runtest coverage #1441: Pull request #1367 synchronize by sim642
February 22, 2024 09:48 10m 18s dune-runtest
dune-runtest
February 22, 2024 09:48 10m 18s
Add semantic loop unrolling analysis coverage #1440: Pull request #1370 opened by sim642
February 22, 2024 08:36 11m 23s semantic-loop-unrolling
semantic-loop-unrolling
February 22, 2024 08:36 11m 23s
coverage coverage #1439: Scheduled
February 22, 2024 02:02 21m 17s master
master
February 22, 2024 02:02 21m 17s
Add cram tests for CFGs coverage #1438: Pull request #1360 synchronize by sim642
February 21, 2024 16:11 12m 8s cfg-test
cfg-test
February 21, 2024 16:11 12m 8s
Fix and refactor syntactic loop unrolling coverage #1437: Pull request #1369 synchronize by sim642
February 21, 2024 14:29 12m 1s loop-unrolling-refactor
loop-unrolling-refactor
February 21, 2024 14:29 12m 1s
Fix and refactor syntactic loop unrolling coverage #1436: Pull request #1369 synchronize by sim642
February 21, 2024 14:18 10m 59s loop-unrolling-refactor
loop-unrolling-refactor
February 21, 2024 14:18 10m 59s
Fix and refactor syntactic loop unrolling coverage #1435: Pull request #1369 synchronize by sim642
February 21, 2024 09:48 10m 42s loop-unrolling-refactor
loop-unrolling-refactor
February 21, 2024 09:48 10m 42s
Fix and refactor syntactic loop unrolling coverage #1434: Pull request #1369 synchronize by sim642
February 21, 2024 09:33 11m 0s loop-unrolling-refactor
loop-unrolling-refactor
February 21, 2024 09:33 11m 0s
Fix and refactor syntactic loop unrolling coverage #1433: Pull request #1369 synchronize by sim642
February 21, 2024 09:25 10m 50s loop-unrolling-refactor
loop-unrolling-refactor
February 21, 2024 09:25 10m 50s
Fix and refactor syntactic loop unrolling coverage #1432: Pull request #1369 synchronize by sim642
February 21, 2024 09:15 11m 25s loop-unrolling-refactor
loop-unrolling-refactor
February 21, 2024 09:15 11m 25s
Fix and refactor syntactic loop unrolling coverage #1431: Pull request #1369 opened by sim642
February 21, 2024 08:37 11m 25s loop-unrolling-refactor
loop-unrolling-refactor
February 21, 2024 08:37 11m 25s
coverage coverage #1430: Scheduled
February 21, 2024 02:03 18m 43s master
master
February 21, 2024 02:03 18m 43s
coverage coverage #1429: Scheduled
February 20, 2024 02:02 11m 25s master
master
February 20, 2024 02:02 11m 25s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1428: Pull request #1340 synchronize by SchiJoha
February 19, 2024 15:02 11m 43s SchiJoha:master
SchiJoha:master
February 19, 2024 15:02 11m 43s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1427: Pull request #1340 synchronize by SchiJoha
February 19, 2024 14:51 11m 5s SchiJoha:master
SchiJoha:master
February 19, 2024 14:51 11m 5s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) coverage #1426: Pull request #1340 synchronize by SchiJoha
February 19, 2024 14:51 11m 7s SchiJoha:master
SchiJoha:master
February 19, 2024 14:51 11m 7s
Linear Two-Variable Equalities Analysis coverage #1425: Pull request #1297 synchronize by DrMichaelPetter
February 19, 2024 13:38 6m 10s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 19, 2024 13:38 6m 10s
Bump actions/upload-pages-artifact from 2 to 3 coverage #1424: Pull request #1306 synchronize by dependabot bot
February 19, 2024 09:15 11m 25s dependabot/github_actions/actions/upload-pages-artifact-3
dependabot/github_actions/actions/upload-pages-artifact-3
February 19, 2024 09:15 11m 25s
Bump actions/deploy-pages from 3 to 4 coverage #1423: Pull request #1305 synchronize by dependabot bot
February 19, 2024 09:13 11m 13s dependabot/github_actions/actions/deploy-pages-4
dependabot/github_actions/actions/deploy-pages-4
February 19, 2024 09:13 11m 13s
Clean up old make targets coverage #1422: Pull request #1368 opened by sim642
February 19, 2024 08:46 11m 19s make-cleanup
make-cleanup
February 19, 2024 08:46 11m 19s
Add option witness.invariant.all-locals to only print locals definitely in scope coverage #1421: Pull request #1362 synchronize by sim642
February 19, 2024 08:27 11m 20s issue_1361
issue_1361
February 19, 2024 08:27 11m 20s
coverage coverage #1420: Scheduled
February 19, 2024 02:04 11m 25s master
master
February 19, 2024 02:04 11m 25s
Partially fix unsound join for top with empty environment in ApronDomain coverage #1419: Pull request #1354 synchronize by michael-schwarz
February 18, 2024 15:39 11m 6s issue_1302
issue_1302
February 18, 2024 15:39 11m 6s
Partially fix unsound join for top with empty environment in ApronDomain coverage #1418: Pull request #1354 synchronize by michael-schwarz
February 18, 2024 14:35 5m 50s issue_1302
issue_1302
February 18, 2024 14:35 5m 50s