Skip to content

Actions: Z3Prover/z3

Actions

Pyodide Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pyodide.yml
477 workflow runs
477 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove platform dependent print Pyodide Build #102: Commit 5541918 pushed by NikolajBjorner
December 24, 2024 00:13 20m 13s master
master
December 24, 2024 00:13 20m 13s
start update with expr-inverter to handle PB Pyodide Build #101: Commit 4f4cafb pushed by NikolajBjorner
December 23, 2024 02:17 20m 33s master
master
December 23, 2024 02:17 20m 33s
remove some uneeded constructors Pyodide Build #100: Commit 97c70ba pushed by nunoplopes
December 22, 2024 15:07 20m 10s master
master
December 22, 2024 15:07 20m 10s
read laziness parameter modulo relvancy to avoid race conditions with… Pyodide Build #99: Commit fb5bbb8 pushed by NikolajBjorner
December 22, 2024 13:08 20m 36s master
master
December 22, 2024 13:08 20m 36s
add some comments, fix nyis Pyodide Build #98: Commit a214dc3 pushed by NikolajBjorner
December 22, 2024 12:52 20m 23s master
master
December 22, 2024 12:52 20m 23s
use bail_out instead of early return to ensure marks are cleared Pyodide Build #97: Commit 65b678d pushed by NikolajBjorner
December 22, 2024 05:14 20m 29s master
master
December 22, 2024 05:14 20m 29s
revert relevancy override Pyodide Build #96: Commit 78ce6c1 pushed by NikolajBjorner
December 21, 2024 17:10 20m 12s master
master
December 21, 2024 17:10 20m 12s
remove verbose output Pyodide Build #95: Commit 3b2315d pushed by NikolajBjorner
December 21, 2024 14:53 20m 23s master
master
December 21, 2024 14:53 20m 23s
fix #7460 Pyodide Build #94: Commit 578804a pushed by NikolajBjorner
December 21, 2024 13:42 20m 26s master
master
December 21, 2024 13:42 20m 26s
fix #7490 Pyodide Build #93: Commit 2044fb4 pushed by NikolajBjorner
December 21, 2024 13:32 20m 43s master
master
December 21, 2024 13:32 20m 43s
add lia2card tactic as default #7483 Pyodide Build #92: Commit 8dec841 pushed by NikolajBjorner
December 21, 2024 12:11 20m 6s master
master
December 21, 2024 12:11 20m 6s
always copy Microsoft.Z3.xml into package directory #7482 Pyodide Build #91: Commit 4f7b6c7 pushed by NikolajBjorner
December 21, 2024 12:10 21m 25s master
master
December 21, 2024 12:10 21m 25s
mask regression on fpa by not auto-setting relevancy=0 Pyodide Build #90: Commit 07b1ee5 pushed by NikolajBjorner
December 21, 2024 11:41 20m 19s master
master
December 21, 2024 11:41 20m 19s
revert change to setup_context that delays it until there are assertions Pyodide Build #89: Commit da6a5fa pushed by NikolajBjorner
December 21, 2024 10:53 20m 5s master
master
December 21, 2024 10:53 20m 5s
set relevancy = 0 in auto-config mode when there are bit-vectors and … Pyodide Build #88: Commit db9f45d pushed by NikolajBjorner
December 20, 2024 17:11 20m 55s master
master
December 20, 2024 17:11 20m 55s
update gcm script Pyodide Build #87: Commit 114cae5 pushed by NikolajBjorner
December 20, 2024 16:27 20m 30s master
master
December 20, 2024 16:27 20m 30s
Add (updated and general) solve_for functionality for arithmetic, add… Pyodide Build #86: Commit 87f7a20 pushed by NikolajBjorner
December 19, 2024 22:28 20m 42s master
master
December 19, 2024 22:28 20m 42s
Optimize expr_safe_replace for quantifiers when all source patterns a… Pyodide Build #85: Commit e4ab294 pushed by NikolajBjorner
December 19, 2024 22:05 21m 0s master
master
December 19, 2024 22:05 21m 0s
expr_abstract: save 1 hashtable lookup per app argument Pyodide Build #84: Commit c33bc2c pushed by nunoplopes
December 18, 2024 09:51 20m 28s master
master
December 18, 2024 09:51 20m 28s
remove 2 unneeded lambda captures Pyodide Build #83: Commit 2f5c0a6 pushed by nunoplopes
December 17, 2024 16:02 20m 23s master
master
December 17, 2024 16:02 20m 23s
reduce hash table lookups in expr_abstract in half Pyodide Build #82: Commit 6f24123 pushed by nunoplopes
December 16, 2024 11:01 20m 14s master
master
December 16, 2024 11:01 20m 14s
fix build flags for release.yaml Pyodide Build #81: Commit a6e59ea pushed by NikolajBjorner
December 16, 2024 03:41 20m 14s master
master
December 16, 2024 03:41 20m 14s
publish pypi Pyodide Build #80: Commit a97ad76 pushed by NikolajBjorner
December 15, 2024 21:00 20m 8s master
master
December 15, 2024 21:00 20m 8s
Update RELEASE_NOTES.md Pyodide Build #79: Commit 200ef23 pushed by NikolajBjorner
December 15, 2024 14:01 20m 50s master
master
December 15, 2024 14:01 20m 50s
add unit test for incremental equation edit distance with repair Pyodide Build #78: Commit b529a58 pushed by NikolajBjorner
December 15, 2024 13:53 20m 24s master
master
December 15, 2024 13:53 20m 24s
ProTip! You can narrow down the results and go further in time using created:<2024-12-15 or the other filters available.