Skip to content

Actions: Z3Prover/z3

Actions

Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
1,332 workflow runs
1,332 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Coverage Code Coverage #4034: Scheduled
December 11, 2024 11:05 29m 44s master
master
December 11, 2024 11:05 29m 44s
Code Coverage Code Coverage #4033: Scheduled
December 10, 2024 11:05 29m 55s master
master
December 10, 2024 11:05 29m 55s
fix #7461 Code Coverage #4032: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 30m 12s master
master
December 10, 2024 00:57 30m 12s
add another baseline heuristic for string equalities, add cases for a… Code Coverage #4031: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 30m 14s master
master
December 9, 2024 23:55 30m 14s
Code Coverage Code Coverage #4030: Scheduled
December 9, 2024 11:06 30m 0s master
master
December 9, 2024 11:06 30m 0s
Code Coverage Code Coverage #4029: Scheduled
December 8, 2024 11:05 29m 46s master
master
December 8, 2024 11:05 29m 46s
Code Coverage Code Coverage #4028: Scheduled
December 7, 2024 11:05 29m 27s master
master
December 7, 2024 11:05 29m 27s
Update emscripten (#7473) Code Coverage #4027: Commit e5f8327 pushed by NikolajBjorner
December 7, 2024 02:11 29m 49s master
master
December 7, 2024 02:11 29m 49s
Update emscripten Code Coverage #4026: Pull request #7473 opened by bakkot
December 6, 2024 21:16 29m 59s bakkot:update-emscripten
bakkot:update-emscripten
December 6, 2024 21:16 29m 59s
fixes to regex membership and edit updates Code Coverage #4025: Commit 4fbf54a pushed by NikolajBjorner
December 6, 2024 17:50 30m 18s master
master
December 6, 2024 17:50 30m 18s
Code Coverage Code Coverage #4024: Scheduled
December 6, 2024 11:05 29m 44s master
master
December 6, 2024 11:05 29m 44s
partial fix to make computed term integer well-formed for solve_for f… Code Coverage #4023: Commit 1ab0962 pushed by NikolajBjorner
December 6, 2024 01:11 29m 52s master
master
December 6, 2024 01:11 29m 52s
Typescript high-level api for Sets (#7471) Code Coverage #4022: Commit 4be4067 pushed by NikolajBjorner
December 5, 2024 15:00 29m 48s master
master
December 5, 2024 15:00 29m 48s
Code Coverage Code Coverage #4021: Scheduled
December 5, 2024 11:06 29m 42s master
master
December 5, 2024 11:06 29m 42s
bugfix to elim_uncnstr to ensure nodes are created. Prepare smt_inter… Code Coverage #4020: Commit a17d4e6 pushed by NikolajBjorner
December 4, 2024 23:32 29m 54s master
master
December 4, 2024 23:32 29m 54s
Typescript high-level api for Sets Code Coverage #4019: Pull request #7471 opened by YuantianDing
December 4, 2024 20:04 29m 56s YuantianDing:master
YuantianDing:master
December 4, 2024 20:04 29m 56s
Code Coverage Code Coverage #4018: Scheduled
December 4, 2024 11:06 31m 12s master
master
December 4, 2024 11:06 31m 12s
Code Coverage Code Coverage #4017: Scheduled
December 3, 2024 11:05 29m 54s master
master
December 3, 2024 11:05 29m 54s
Bump docker/build-push-action from 6.9.0 to 6.10.0 (#7469) Code Coverage #4016: Commit 6ea4110 pushed by NikolajBjorner
December 2, 2024 23:39 29m 57s master
master
December 2, 2024 23:39 29m 57s
Bump docker/build-push-action from 6.9.0 to 6.10.0 Code Coverage #4015: Pull request #7469 opened by dependabot bot
December 2, 2024 23:20 30m 2s dependabot/github_actions/docker/build-push-action-6.10.0
dependabot/github_actions/docker/build-push-action-6.10.0
December 2, 2024 23:20 30m 2s
updates to equality solving search Code Coverage #4014: Commit aec8675 pushed by NikolajBjorner
December 2, 2024 21:41 30m 15s master
master
December 2, 2024 21:41 30m 15s
Code Coverage Code Coverage #4013: Scheduled
December 2, 2024 11:05 29m 59s master
master
December 2, 2024 11:05 29m 59s
sls: fix bug where unsat remains empty after a literal is flipped. Th… Code Coverage #4012: Commit e6feb84 pushed by NikolajBjorner
December 2, 2024 02:36 29m 59s master
master
December 2, 2024 02:36 29m 59s
Code Coverage Code Coverage #4011: Scheduled
December 1, 2024 11:05 29m 54s master
master
December 1, 2024 11:05 29m 54s
add v0 of equality solver Code Coverage #4010: Commit 24c3cd3 pushed by NikolajBjorner
December 1, 2024 01:25 30m 12s master
master
December 1, 2024 01:25 30m 12s