Skip to content

Actions: Z3Prover/z3

Actions

Pyodide Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pyodide.yml
469 workflow runs
469 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add seed parameter, fix trail undo order from insertion to ensure lif… Pyodide Build #469: Commit d766292 pushed by NikolajBjorner
May 27, 2025 17:03 20m 22s master
master
May 27, 2025 17:03 20m 22s
Fix setup_relevancy for relevancy-dependent case split strategies (#7… Pyodide Build #468: Commit b44c897 pushed by NikolajBjorner
May 27, 2025 15:52 20m 34s master
master
May 27, 2025 15:52 20m 34s
missing file Pyodide Build #467: Commit 80c553d pushed by NikolajBjorner
May 23, 2025 23:20 20m 34s master
master
May 23, 2025 23:20 20m 34s
v1 of a randomizer simplifier Pyodide Build #466: Commit 77fed8b pushed by NikolajBjorner
May 23, 2025 23:15 1m 24s master
master
May 23, 2025 23:15 1m 24s
for future ignoring genai files Pyodide Build #465: Commit 84a5303 pushed by NikolajBjorner
May 22, 2025 00:09 20m 40s master
master
May 22, 2025 00:09 20m 40s
remove quotes from arguments to TRACE Pyodide Build #464: Commit 805d579 pushed by NikolajBjorner
May 21, 2025 23:44 1m 20s master
master
May 21, 2025 23:44 1m 20s
update add-term to avoid duplicating fresh aux-expr Pyodide Build #463: Commit 85e7243 pushed by NikolajBjorner
May 20, 2025 21:22 20m 15s master
master
May 20, 2025 21:22 20m 15s
Pr (#7654) Pyodide Build #462: Commit c2098b4 pushed by NikolajBjorner
May 19, 2025 10:24 20m 21s master
master
May 19, 2025 10:24 20m 21s
Update prd.yml Pyodide Build #461: Commit 8d67fee pushed by NikolajBjorner
May 18, 2025 00:39 20m 15s master
master
May 18, 2025 00:39 20m 15s
Update prd.yml Pyodide Build #460: Commit a4e7123 pushed by NikolajBjorner
May 18, 2025 00:34 20m 25s master
master
May 18, 2025 00:34 20m 25s
Update prd.yml Pyodide Build #459: Commit a7fbddd pushed by NikolajBjorner
May 18, 2025 00:24 20m 44s master
master
May 18, 2025 00:24 20m 44s
add prd (#7649) Pyodide Build #458: Commit ad02d18 pushed by NikolajBjorner
May 18, 2025 00:07 20m 23s master
master
May 18, 2025 00:07 20m 23s
Create prd.yml Pyodide Build #457: Commit 3381220 pushed by NikolajBjorner
May 16, 2025 21:15 20m 55s master
master
May 16, 2025 21:15 20m 55s
refactoring to use for-range Pyodide Build #456: Commit 47c12f9 pushed by NikolajBjorner
May 15, 2025 17:57 21m 5s master
master
May 15, 2025 17:57 21m 5s
Add support for building Z3 using Bazel. (#7646) Pyodide Build #455: Commit 0b26f7e pushed by NikolajBjorner
May 15, 2025 15:47 20m 24s master
master
May 15, 2025 15:47 20m 24s
adjust the frequency of dio calls Pyodide Build #454: Commit f680242 pushed by levnach
May 14, 2025 15:17 20m 9s master
master
May 14, 2025 15:17 20m 9s
cleanup in dioph_eq.cpp Pyodide Build #453: Commit 15a3818 pushed by levnach
May 13, 2025 21:57 20m 28s master
master
May 13, 2025 21:57 20m 28s
move to readme-cmake Pyodide Build #452: Commit 1109139 pushed by NikolajBjorner
May 13, 2025 21:36 20m 18s master
master
May 13, 2025 21:36 20m 18s
include some build cheat sheet Pyodide Build #451: Commit ce15351 pushed by NikolajBjorner
May 13, 2025 21:34 20m 1s master
master
May 13, 2025 21:34 20m 1s
update version number Pyodide Build #450: Commit a5a2a13 pushed by NikolajBjorner
May 13, 2025 21:32 20m 39s master
master
May 13, 2025 21:32 20m 39s
handle larger buffers Pyodide Build #449: Commit 0d3c29a pushed by NikolajBjorner
May 13, 2025 21:12 20m 36s master
master
May 13, 2025 21:12 20m 36s
remove slack heuristic Pyodide Build #448: Commit 6b32aae pushed by levnach
May 12, 2025 21:02 20m 22s master
master
May 12, 2025 21:02 20m 22s
add E-matching to EUF completion Pyodide Build #447: Commit 7ca94e8 pushed by NikolajBjorner
May 10, 2025 23:15 20m 13s master
master
May 10, 2025 23:15 20m 13s
remove copy of LICENSE.txt - pypi doesn't take it Pyodide Build #446: Commit 9232ef5 pushed by NikolajBjorner
May 9, 2025 23:53 20m 37s master
master
May 9, 2025 23:53 20m 37s
enable pypi Pyodide Build #445: Commit 49dffae pushed by NikolajBjorner
May 9, 2025 22:37 20m 12s master
master
May 9, 2025 22:37 20m 12s