Skip to content

Actions: Z3Prover/z3

Actions

Pyodide Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pyodide.yml
474 workflow runs
474 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix a race condition in scoped_timer::finalize (#7618) Pyodide Build #399: Commit 6ecc7a2 pushed by nunoplopes
April 11, 2025 07:08 20m 18s master
master
April 11, 2025 07:08 20m 18s
spacing Pyodide Build #398: Commit a83efa6 pushed by NikolajBjorner
April 10, 2025 03:24 20m 22s master
master
April 10, 2025 03:24 20m 22s
Add Z3_is_recursive_datatype_sort to the API (#7615) Pyodide Build #397: Commit d792840 pushed by NikolajBjorner
April 8, 2025 21:37 20m 17s master
master
April 8, 2025 21:37 20m 17s
include LICENSE.txt in wheels (#7614) Pyodide Build #396: Commit 14e2aad pushed by NikolajBjorner
April 7, 2025 15:41 21m 2s master
master
April 7, 2025 15:41 21m 2s
list[ExprRef] doesn't build for python Pyodide Build #395: Commit 0b7a81b pushed by NikolajBjorner
April 5, 2025 21:45 20m 45s master
master
April 5, 2025 21:45 20m 45s
update agentz3 sample based on hugging face training/test data Pyodide Build #394: Commit 2b60550 pushed by NikolajBjorner
April 5, 2025 21:43 20m 33s master
master
April 5, 2025 21:43 20m 33s
#7605 Pyodide Build #393: Commit e7ff600 pushed by NikolajBjorner
April 5, 2025 19:07 20m 42s master
master
April 5, 2025 19:07 20m 42s
fix #7607 Pyodide Build #392: Commit a39efbb pushed by NikolajBjorner
April 5, 2025 18:58 20m 58s master
master
April 5, 2025 18:58 20m 58s
remove type annotation Context | None to ensure Centos ARM Build pass Pyodide Build #391: Commit 9d8291a pushed by NikolajBjorner
April 5, 2025 17:51 20m 33s master
master
April 5, 2025 17:51 20m 33s
type annotations across Python versions Pyodide Build #390: Commit f607331 pushed by NikolajBjorner
April 5, 2025 05:14 20m 48s master
master
April 5, 2025 05:14 20m 48s
remove downlevel version incompatible elements of typing Pyodide Build #389: Commit bd2c7aa pushed by NikolajBjorner
April 5, 2025 03:18 21m 0s master
master
April 5, 2025 03:18 21m 0s
remove references to TypeGuard Pyodide Build #388: Commit 305f1e8 pushed by NikolajBjorner
April 5, 2025 02:41 20m 22s master
master
April 5, 2025 02:41 20m 22s
add initial sample agent use case Pyodide Build #387: Commit a5048e4 pushed by NikolajBjorner
April 5, 2025 01:54 20m 37s master
master
April 5, 2025 01:54 20m 37s
[z3.py] Fix incorrect call to _get_ctx in SeqMapI (#7610) Pyodide Build #386: Commit eb4e28d pushed by NikolajBjorner
April 4, 2025 22:54 20m 41s master
master
April 4, 2025 22:54 20m 41s
Note that Z3_get_numeral_small is essentially redundant (#7599) Pyodide Build #385: Commit 8d81a2d pushed by NikolajBjorner
March 29, 2025 17:02 20m 41s master
master
March 29, 2025 17:02 20m 41s
Add Z3_get_array_arity (#7598) Pyodide Build #384: Commit 63ad283 pushed by NikolajBjorner
March 28, 2025 21:42 21m 25s master
master
March 28, 2025 21:42 21m 25s
Remove vestiges of old ml api (#7597) Pyodide Build #383: Commit 934455a pushed by NikolajBjorner
March 27, 2025 23:41 20m 37s master
master
March 27, 2025 23:41 20m 37s
replace Exists by ForAll in the mathematica lemmas Pyodide Build #382: Commit e4897ff pushed by levnach
March 27, 2025 19:32 21m 33s master
master
March 27, 2025 19:32 21m 33s
enable shorterter mathematica printouts in nlsat Pyodide Build #381: Commit 39df899 pushed by levnach
March 27, 2025 19:23 20m 32s master
master
March 27, 2025 19:23 20m 32s
turn on ite simplification by default Pyodide Build #380: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 20m 57s master
master
March 26, 2025 18:30 20m 57s
fix indentation Pyodide Build #379: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 20m 24s master
master
March 26, 2025 04:27 20m 24s
replace costly ite reduction by disjointnes check Pyodide Build #378: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 20m 18s master
master
March 26, 2025 04:15 20m 18s
optimize bool rewriter Pyodide Build #377: Commit 392bc16 pushed by NikolajBjorner
March 25, 2025 21:08 20m 28s master
master
March 25, 2025 21:08 20m 28s
add option to rewrite ite value trees Pyodide Build #376: Commit 2971250 pushed by NikolajBjorner
March 25, 2025 18:10 22m 4s master
master
March 25, 2025 18:10 22m 4s
change line breaks Pyodide Build #375: Commit e92ccdd pushed by levnach
March 25, 2025 01:39 20m 55s master
master
March 25, 2025 01:39 20m 55s