Skip to content

Actions: Z3Prover/z3

Pyodide Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
476 workflow runs
476 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix build warnings
Pyodide Build #401: Commit 1510b31 pushed by NikolajBjorner
April 14, 2025 17:34 20m 49s master
April 14, 2025 17:34 20m 49s
Add Iterators as acceptable arguments to functions (#7620)
Pyodide Build #400: Commit 5ad79f2 pushed by NikolajBjorner
April 12, 2025 17:32 20m 55s master
April 12, 2025 17:32 20m 55s
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
April 11, 2025 07:08 20m 18s
spacing
Pyodide Build #398: Commit a83efa6 pushed by NikolajBjorner
April 10, 2025 03:24 20m 22s 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
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
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
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
April 5, 2025 21:43 20m 33s
#7605
Pyodide Build #393: Commit e7ff600 pushed by NikolajBjorner
April 5, 2025 19:07 20m 42s 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
March 25, 2025 21:08 20m 28s