Skip to content

Actions: Z3Prover/z3

Actions

Pyodide Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pyodide.yml
591 workflow runs
591 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

restore the square-free check Pyodide Build #591: Commit cf8a17a pushed by levnach
August 11, 2025 20:16 20m 50s master
master
August 11, 2025 20:16 20m 50s
remove unused square-free check Pyodide Build #590: Commit e33dc47 pushed by levnach
August 11, 2025 14:24 20m 46s master
master
August 11, 2025 14:24 20m 46s
Update RELEASE_NOTES.md Pyodide Build #589: Commit b7d5add pushed by NikolajBjorner
August 10, 2025 21:25 21m 2s master
master
August 10, 2025 21:25 21m 2s
rename add_lcs to add_lc Pyodide Build #588: Commit 8598a74 pushed by levnach
August 8, 2025 18:02 20m 37s master
master
August 8, 2025 18:02 20m 37s
remove ref to theory_str Pyodide Build #587: Commit efb0bda pushed by NikolajBjorner
August 8, 2025 04:21 21m 9s master
master
August 8, 2025 04:21 21m 9s
remove automata from python build Pyodide Build #586: Commit baa0588 pushed by NikolajBjorner
August 8, 2025 04:07 20m 41s master
master
August 8, 2025 04:07 20m 41s
remove theory_str and classes that are only used by it Pyodide Build #585: Commit fcd3a70 pushed by NikolajBjorner
August 8, 2025 04:05 20m 58s master
master
August 8, 2025 04:05 20m 58s
avoid interferring side-effects in function calls Pyodide Build #584: Commit 2ac1b24 pushed by NikolajBjorner
August 7, 2025 21:40 21m 13s master
master
August 7, 2025 21:40 21m 13s
fix java build for java bindings Pyodide Build #583: Commit 7ba967e pushed by NikolajBjorner
August 7, 2025 21:37 20m 57s master
master
August 7, 2025 21:37 20m 57s
register on_binding attribute Pyodide Build #582: Commit 0cefc92 pushed by NikolajBjorner
August 7, 2025 20:46 21m 8s master
master
August 7, 2025 20:46 21m 8s
use jboolean in Native interface Pyodide Build #581: Commit d57dd6e pushed by NikolajBjorner
August 7, 2025 20:11 21m 20s master
master
August 7, 2025 20:11 21m 20s
add on_binding callbacks across APIs Pyodide Build #580: Commit fa3d341 pushed by NikolajBjorner
August 7, 2025 19:56 21m 40s master
master
August 7, 2025 19:56 21m 40s
rename a Python file Pyodide Build #579: Commit 30830aa pushed by levnach
August 7, 2025 15:33 21m 7s master
master
August 7, 2025 15:33 21m 7s
add Z3_solver_propagate_on_binding to ml callback declarations Pyodide Build #578: Commit 31a3037 pushed by NikolajBjorner
August 7, 2025 12:54 21m 5s master
master
August 7, 2025 12:54 21m 5s
missing new closure Pyodide Build #577: Commit aad511d pushed by NikolajBjorner
August 7, 2025 04:22 21m 16s master
master
August 7, 2025 04:22 21m 16s
add an option to register callback on quantifier instantiation Pyodide Build #576: Commit b33f444 pushed by NikolajBjorner
August 7, 2025 04:12 21m 29s master
master
August 7, 2025 04:12 21m 29s
fix #7603: race condition in Ctrl-C handling (#7755) Pyodide Build #575: Commit b1ab695 pushed by NikolajBjorner
August 6, 2025 21:27 21m 0s master
master
August 6, 2025 21:27 21m 0s
Add support for Algebraic Datatypes in JavaScript/TypeScript bindings… Pyodide Build #574: Commit 7a8ba4b pushed by NikolajBjorner
August 5, 2025 03:58 21m 0s master
master
August 5, 2025 03:58 21m 0s
Update smt_parallel.cpp Pyodide Build #573: Commit d66fabe pushed by NikolajBjorner
August 3, 2025 21:17 20m 59s master
master
August 3, 2025 21:17 20m 59s
remove a bunch of string copies Pyodide Build #572: Commit f23b053 pushed by nunoplopes
August 3, 2025 09:41 20m 55s master
master
August 3, 2025 09:41 20m 55s
remove default constructor Pyodide Build #571: Commit 97aa46a pushed by nunoplopes
August 3, 2025 08:53 20m 45s master
master
August 3, 2025 08:53 20m 45s
disable pre-processing during cubing Pyodide Build #570: Commit 89cc9bd pushed by NikolajBjorner
August 1, 2025 03:59 21m 23s master
master
August 1, 2025 03:59 21m 23s
enable passive, add check for bloom up-to-date Pyodide Build #569: Commit f77123c pushed by NikolajBjorner
July 28, 2025 00:18 21m 14s master
master
July 28, 2025 00:18 21m 14s
updates to ac-plugin Pyodide Build #568: Commit 67695b4 pushed by NikolajBjorner
July 27, 2025 20:38 20m 48s master
master
July 27, 2025 20:38 20m 48s
FreshConst is_sort (#7748) Pyodide Build #567: Commit eb24488 pushed by NikolajBjorner
July 27, 2025 10:19 21m 0s master
master
July 27, 2025 10:19 21m 0s