Skip to content

Actions: Z3Prover/z3

Actions

Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Coverage Code Coverage #3882: Scheduled
October 24, 2024 11:05 In progress master
master
October 24, 2024 11:05 In progress
Code Coverage Code Coverage #3881: Scheduled
October 23, 2024 11:05 29m 17s master
master
October 23, 2024 11:05 29m 17s
add shortcut to retrieve kind of application Code Coverage #3880: Commit 8b657f2 pushed by NikolajBjorner
October 22, 2024 20:05 29m 44s master
master
October 22, 2024 20:05 29m 44s
add shortcut to retrieve kind of application Code Coverage #3879: Commit 78d1139 pushed by NikolajBjorner
October 22, 2024 20:04 29m 17s master
master
October 22, 2024 20:04 29m 17s
remove debug out Code Coverage #3878: Commit 0ebea1c pushed by NikolajBjorner
October 22, 2024 18:58 29m 56s master
master
October 22, 2024 18:58 29m 56s
fix non-termination bug in elim-unconstrained, add parameter validati… Code Coverage #3877: Commit 253f7d7 pushed by NikolajBjorner
October 22, 2024 16:59 26m 14s master
master
October 22, 2024 16:59 26m 14s
js: Adding manual release methods (#7428) Code Coverage #3876: Commit 45ef6d0 pushed by NikolajBjorner
October 22, 2024 16:15 29m 39s master
master
October 22, 2024 16:15 29m 39s
Code Coverage Code Coverage #3875: Scheduled
October 22, 2024 11:05 29m 28s master
master
October 22, 2024 11:05 29m 28s
Code Coverage Code Coverage #3872: Scheduled
October 21, 2024 11:06 29m 50s master
master
October 21, 2024 11:06 29m 50s
It uses C++20 BTW (#7429) Code Coverage #3871: Commit 5cee19f pushed by NikolajBjorner
October 21, 2024 03:00 29m 34s master
master
October 21, 2024 03:00 29m 34s
Code Coverage Code Coverage #3868: Scheduled
October 20, 2024 11:05 29m 37s master
master
October 20, 2024 11:05 29m 37s
js: Add pseudo-boolean high-level functions Code Coverage #3866: Pull request #7426 synchronize by HalfdanJ
October 19, 2024 17:23 Action required HalfdanJ:js-pseudo-boolean
HalfdanJ:js-pseudo-boolean
October 19, 2024 17:23 Action required
js: Add pseudo-boolean high-level functions Code Coverage #3865: Pull request #7426 synchronize by HalfdanJ
October 19, 2024 17:23 Action required HalfdanJ:js-pseudo-boolean
HalfdanJ:js-pseudo-boolean
October 19, 2024 17:23 Action required
js: Add pseudo-boolean high-level functions Code Coverage #3864: Pull request #7426 opened by HalfdanJ
October 19, 2024 16:12 Action required HalfdanJ:js-pseudo-boolean
HalfdanJ:js-pseudo-boolean
October 19, 2024 16:12 Action required
Code Coverage Code Coverage #3863: Scheduled
October 19, 2024 11:05 29m 15s master
master
October 19, 2024 11:05 29m 15s
Code Coverage Code Coverage #3862: Scheduled
October 18, 2024 11:05 29m 38s master
master
October 18, 2024 11:05 29m 38s
Code Coverage Code Coverage #3861: Scheduled
October 17, 2024 11:05 29m 38s master
master
October 17, 2024 11:05 29m 38s
add variables from definitions Code Coverage #3860: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 29m 54s master
master
October 17, 2024 02:08 29m 54s
better model replay for loose entries Code Coverage #3859: Commit 92376e6 pushed by NikolajBjorner
October 16, 2024 20:07 29m 45s master
master
October 16, 2024 20:07 29m 45s
update unit_lim to the correct value (#7423) Code Coverage #3858: Commit 8ff4036 pushed by NikolajBjorner
October 16, 2024 17:23 29m 27s master
master
October 16, 2024 17:23 29m 27s
Code Coverage Code Coverage #3856: Scheduled
October 16, 2024 11:05 29m 42s master
master
October 16, 2024 11:05 29m 42s
fix the code to cube at the correct frequency (#7422) Code Coverage #3855: Commit 3896e18 pushed by NikolajBjorner
October 15, 2024 15:56 29m 51s master
master
October 15, 2024 15:56 29m 51s
Code Coverage Code Coverage #3854: Scheduled
October 15, 2024 11:05 29m 56s master
master
October 15, 2024 11:05 29m 56s
simplify string patterns into prefix/suffix constraints Code Coverage #3852: Commit 5993735 pushed by NikolajBjorner
October 14, 2024 21:32 29m 22s master
master
October 14, 2024 21:32 29m 22s
Code Coverage Code Coverage #3851: Scheduled
October 14, 2024 11:06 29m 41s master
master
October 14, 2024 11:06 29m 41s