Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
1,019 workflow runs
1,019 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rely on is_sat fallback for failed repair-up, add separate file for W… WebAssembly Build #3353: Commit d3a6521 pushed by NikolajBjorner
December 26, 2024 21:06 16m 35s master
master
December 26, 2024 21:06 16m 35s
remove debug out WebAssembly Build #3352: Commit 13dcfd2 pushed by NikolajBjorner
December 25, 2024 23:23 17m 5s master
master
December 25, 2024 23:23 17m 5s
update regex membership to be slightly better tuned WebAssembly Build #3351: Commit c9cae77 pushed by NikolajBjorner
December 25, 2024 18:56 17m 14s master
master
December 25, 2024 18:56 17m 14s
try a basic heuristic that finds some string that belongs to re. WebAssembly Build #3350: Commit f4ed432 pushed by NikolajBjorner
December 25, 2024 18:11 16m 40s master
master
December 25, 2024 18:11 16m 40s
avoid platform non-reproducibility due to argument evaluation ordering WebAssembly Build #3349: Commit 85d3041 pushed by NikolajBjorner
December 24, 2024 01:14 16m 54s master
master
December 24, 2024 01:14 16m 54s
remove platform dependent print WebAssembly Build #3348: Commit 5541918 pushed by NikolajBjorner
December 24, 2024 00:13 16m 42s master
master
December 24, 2024 00:13 16m 42s
start update with expr-inverter to handle PB WebAssembly Build #3347: Commit 4f4cafb pushed by NikolajBjorner
December 23, 2024 02:17 17m 1s master
master
December 23, 2024 02:17 17m 1s
remove some uneeded constructors WebAssembly Build #3346: Commit 97c70ba pushed by nunoplopes
December 22, 2024 15:07 16m 52s master
master
December 22, 2024 15:07 16m 52s
read laziness parameter modulo relvancy to avoid race conditions with… WebAssembly Build #3345: Commit fb5bbb8 pushed by NikolajBjorner
December 22, 2024 13:08 17m 3s master
master
December 22, 2024 13:08 17m 3s
add some comments, fix nyis WebAssembly Build #3344: Commit a214dc3 pushed by NikolajBjorner
December 22, 2024 12:52 16m 45s master
master
December 22, 2024 12:52 16m 45s
use bail_out instead of early return to ensure marks are cleared WebAssembly Build #3343: Commit 65b678d pushed by NikolajBjorner
December 22, 2024 05:14 16m 37s master
master
December 22, 2024 05:14 16m 37s
revert relevancy override WebAssembly Build #3342: Commit 78ce6c1 pushed by NikolajBjorner
December 21, 2024 17:10 16m 51s master
master
December 21, 2024 17:10 16m 51s
remove verbose output WebAssembly Build #3341: Commit 3b2315d pushed by NikolajBjorner
December 21, 2024 14:53 16m 27s master
master
December 21, 2024 14:53 16m 27s
fix #7460 WebAssembly Build #3340: Commit 578804a pushed by NikolajBjorner
December 21, 2024 13:42 16m 47s master
master
December 21, 2024 13:42 16m 47s
fix #7490 WebAssembly Build #3339: Commit 2044fb4 pushed by NikolajBjorner
December 21, 2024 13:32 17m 3s master
master
December 21, 2024 13:32 17m 3s
add lia2card tactic as default #7483 WebAssembly Build #3338: Commit 8dec841 pushed by NikolajBjorner
December 21, 2024 12:11 16m 50s master
master
December 21, 2024 12:11 16m 50s
always copy Microsoft.Z3.xml into package directory #7482 WebAssembly Build #3337: Commit 4f7b6c7 pushed by NikolajBjorner
December 21, 2024 12:10 16m 34s master
master
December 21, 2024 12:10 16m 34s
mask regression on fpa by not auto-setting relevancy=0 WebAssembly Build #3336: Commit 07b1ee5 pushed by NikolajBjorner
December 21, 2024 11:41 16m 51s master
master
December 21, 2024 11:41 16m 51s
revert change to setup_context that delays it until there are assertions WebAssembly Build #3335: Commit da6a5fa pushed by NikolajBjorner
December 21, 2024 10:53 16m 35s master
master
December 21, 2024 10:53 16m 35s
set relevancy = 0 in auto-config mode when there are bit-vectors and … WebAssembly Build #3334: Commit db9f45d pushed by NikolajBjorner
December 20, 2024 17:11 16m 59s master
master
December 20, 2024 17:11 16m 59s
update gcm script WebAssembly Build #3333: Commit 114cae5 pushed by NikolajBjorner
December 20, 2024 16:27 16m 49s master
master
December 20, 2024 16:27 16m 49s
Add (updated and general) solve_for functionality for arithmetic, add… WebAssembly Build #3332: Commit 87f7a20 pushed by NikolajBjorner
December 19, 2024 22:28 16m 54s master
master
December 19, 2024 22:28 16m 54s
Optimize expr_safe_replace for quantifiers when all source patterns a… WebAssembly Build #3331: Commit e4ab294 pushed by NikolajBjorner
December 19, 2024 22:05 16m 31s master
master
December 19, 2024 22:05 16m 31s
expr_abstract: save 1 hashtable lookup per app argument WebAssembly Build #3330: Commit c33bc2c pushed by nunoplopes
December 18, 2024 09:51 16m 31s master
master
December 18, 2024 09:51 16m 31s
Optimize expr_safe_replace for quantifiers when all source patterns are vars WebAssembly Build #3329: Pull request #7481 synchronize by nunoplopes
December 18, 2024 09:34 16m 44s nunoplopes:expr_replace_var
nunoplopes:expr_replace_var
December 18, 2024 09:34 16m 44s