Skip to content

Actions: Z3Prover/z3

Actions

Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

enable rotation Code Coverage #4137: Commit 7e4681d pushed by NikolajBjorner
January 3, 2025 19:49 34m 20s master
master
January 3, 2025 19:49 34m 20s
use native sdiv Code Coverage #4136: Commit 5a57636 pushed by NikolajBjorner
January 3, 2025 18:56 34m 44s master
master
January 3, 2025 18:56 34m 44s
Code Coverage Code Coverage #4135: Scheduled
January 3, 2025 11:05 31m 23s master
master
January 3, 2025 11:05 31m 23s
update test file Code Coverage #4134: Commit bfcd755 pushed by NikolajBjorner
January 3, 2025 05:03 31m 15s master
master
January 3, 2025 05:03 31m 15s
update test file Code Coverage #4133: Commit 1131d8d pushed by NikolajBjorner
January 3, 2025 04:59 16m 39s master
master
January 3, 2025 04:59 16m 39s
throttle costly flips by reset and random Code Coverage #4132: Commit e9c6567 pushed by NikolajBjorner
January 3, 2025 04:39 16m 45s master
master
January 3, 2025 04:39 16m 45s
flip tabu on predicate being repaired, add model rotation code Code Coverage #4131: Commit 70f7fea pushed by NikolajBjorner
January 2, 2025 22:39 31m 46s master
master
January 2, 2025 22:39 31m 46s
only allow flip if it doesn't increase unsat score Code Coverage #4130: Commit f67e1b8 pushed by NikolajBjorner
January 2, 2025 16:39 31m 34s master
master
January 2, 2025 16:39 31m 34s
Code Coverage Code Coverage #4129: Scheduled
January 2, 2025 11:05 31m 32s master
master
January 2, 2025 11:05 31m 32s
block flips to units Code Coverage #4128: Commit 814d7f4 pushed by NikolajBjorner
January 2, 2025 00:02 31m 11s master
master
January 2, 2025 00:02 31m 11s
fix restart counters Code Coverage #4127: Commit cb61af0 pushed by NikolajBjorner
January 1, 2025 22:34 31m 12s master
master
January 1, 2025 22:34 31m 12s
check for bit-vector Code Coverage #4126: Commit 0128a1e pushed by NikolajBjorner
January 1, 2025 21:04 31m 53s master
master
January 1, 2025 21:04 31m 53s
extend lookhaead to work over nested terms with predicates Code Coverage #4125: Commit b12e72e pushed by NikolajBjorner
January 1, 2025 20:37 31m 18s master
master
January 1, 2025 20:37 31m 18s
Code Coverage Code Coverage #4124: Scheduled
January 1, 2025 11:05 31m 7s master
master
January 1, 2025 11:05 31m 7s
take 1 on flip conditions Code Coverage #4123: Commit 234bd40 pushed by NikolajBjorner
December 31, 2024 20:16 31m 29s master
master
December 31, 2024 20:16 31m 29s
take 1 on flip conditions Code Coverage #4122: Commit b415b82 pushed by NikolajBjorner
December 31, 2024 19:45 31m 12s master
master
December 31, 2024 19:45 31m 12s
disable unit tests relying on changed functionality Code Coverage #4121: Commit a511b8b pushed by NikolajBjorner
December 31, 2024 17:24 31m 19s master
master
December 31, 2024 17:24 31m 19s
Code Coverage Code Coverage #4120: Scheduled
December 31, 2024 11:05 16m 26s master
master
December 31, 2024 11:05 16m 26s
separate fixed from bits to allow updates that break tabu Code Coverage #4119: Commit 3433b14 pushed by NikolajBjorner
December 31, 2024 01:47 16m 41s master
master
December 31, 2024 01:47 16m 41s
temper verbose output on tabu updates Code Coverage #4118: Commit 9837632 pushed by NikolajBjorner
December 30, 2024 20:36 31m 17s master
master
December 30, 2024 20:36 31m 17s
take into account for empty vars Code Coverage #4117: Commit 8167892 pushed by NikolajBjorner
December 30, 2024 20:15 31m 30s master
master
December 30, 2024 20:15 31m 30s
Several changes to make sls terminate more often with length/extract … Code Coverage #4116: Commit 27cb81e pushed by NikolajBjorner
December 30, 2024 18:53 31m 9s master
master
December 30, 2024 18:53 31m 9s
Several changes to make sls terminate more often with length/extract operations Code Coverage #4115: Pull request #7498 opened by CEisenhofer
December 30, 2024 18:41 31m 15s CEisenhofer:eis-sls3
CEisenhofer:eis-sls3
December 30, 2024 18:41 31m 15s
check for null before debug assertions Code Coverage #4114: Commit 4773bec pushed by NikolajBjorner
December 30, 2024 17:44 31m 53s master
master
December 30, 2024 17:44 31m 53s
have apply-update check can_set instead of caller Code Coverage #4113: Commit d8741b4 pushed by NikolajBjorner
December 30, 2024 17:33 31m 27s master
master
December 30, 2024 17:33 31m 27s