Skip to content

Actions: Z3Prover/z3

Actions

Pyodide Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pyodide.yml
476 workflow runs
476 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rename fields to compile on c++ platforms Pyodide Build #426: Commit 12ccf59 pushed by NikolajBjorner
April 24, 2025 00:06 20m 14s master
master
April 24, 2025 00:06 20m 14s
convert m_r_upper and m_r_lower bounds to plain vectors Pyodide Build #425: Commit e41acd7 pushed by NikolajBjorner
April 23, 2025 23:33 19m 45s master
master
April 23, 2025 23:33 19m 45s
consolidate some bounds references Pyodide Build #424: Commit fae6094 pushed by NikolajBjorner
April 23, 2025 22:45 20m 46s master
master
April 23, 2025 22:45 20m 46s
fix #7629 Pyodide Build #423: Commit f6fbeda pushed by NikolajBjorner
April 23, 2025 22:24 20m 37s master
master
April 23, 2025 22:24 20m 37s
use inlined functions Pyodide Build #422: Commit 7641393 pushed by NikolajBjorner
April 23, 2025 21:52 20m 23s master
master
April 23, 2025 21:52 20m 23s
coalesce updates to bounds Pyodide Build #421: Commit 5cc57b8 pushed by NikolajBjorner
April 23, 2025 21:05 20m 18s master
master
April 23, 2025 21:05 20m 18s
add power axioms to arith_solver Pyodide Build #420: Commit 579ba8b pushed by NikolajBjorner
April 23, 2025 17:48 20m 28s master
master
April 23, 2025 17:48 20m 28s
handle root expressions, and checking exponentiation with nlsat Pyodide Build #419: Commit ff920ba pushed by NikolajBjorner
April 22, 2025 20:47 20m 33s master
master
April 22, 2025 20:47 20m 33s
Replace _DEBUG with Z3DEBUG (#7628) Pyodide Build #418: Commit 2fe2735 pushed by NikolajBjorner
April 22, 2025 20:39 20m 45s master
master
April 22, 2025 20:39 20m 45s
fallback to Gomory cuts and gcd conflicts if dio fails Pyodide Build #417: Commit a1673f2 pushed by levnach
April 22, 2025 03:19 20m 27s master
master
April 22, 2025 03:19 20m 27s
remove superfluous makefile Pyodide Build #416: Commit cc1bb0a pushed by NikolajBjorner
April 19, 2025 20:56 20m 4s master
master
April 19, 2025 20:56 20m 4s
provide shortcut to command-line version to retrieve parameters Pyodide Build #415: Commit 17cac7d pushed by NikolajBjorner
April 19, 2025 20:51 20m 11s master
master
April 19, 2025 20:51 20m 11s
add badge for ocaml cmake Pyodide Build #414: Commit 6e88d91 pushed by NikolajBjorner
April 19, 2025 20:46 20m 5s master
master
April 19, 2025 20:46 20m 5s
address build warning with overloaded virtual operators Pyodide Build #413: Commit 3761dd8 pushed by NikolajBjorner
April 19, 2025 20:42 20m 55s master
master
April 19, 2025 20:42 20m 55s
WIP: Migrating OCaml binding to CMake (#7254) Pyodide Build #412: Commit f7aec02 pushed by NikolajBjorner
April 19, 2025 20:41 20m 22s master
master
April 19, 2025 20:41 20m 22s
change the default of running dio to true, and running gcd to false, … Pyodide Build #411: Commit ab9f330 pushed by levnach
April 19, 2025 01:24 20m 16s master
master
April 19, 2025 01:24 20m 16s
Add an option "ctrl_c" that can be used to disable Ctrl-C signal hand… Pyodide Build #410: Commit e31e981 pushed by NikolajBjorner
April 18, 2025 17:34 20m 36s master
master
April 18, 2025 17:34 20m 36s
remove non-working ts mcp server, settle with python variant Pyodide Build #409: Commit ed5dd26 pushed by NikolajBjorner
April 18, 2025 17:10 20m 40s master
master
April 18, 2025 17:10 20m 40s
minimal z3 MCP server Pyodide Build #408: Commit 741cb5c pushed by NikolajBjorner
April 18, 2025 17:00 20m 22s master
master
April 18, 2025 17:00 20m 22s
disable assignment for param_descrs Pyodide Build #407: Commit f63c9e3 pushed by NikolajBjorner
April 18, 2025 00:29 20m 54s master
master
April 18, 2025 00:29 20m 54s
stab at SMTLIB REL mcp server Pyodide Build #406: Commit 3f73c8b pushed by NikolajBjorner
April 18, 2025 00:23 20m 49s master
master
April 18, 2025 00:23 20m 49s
fix #7622 Pyodide Build #405: Commit 755f579 pushed by NikolajBjorner
April 17, 2025 18:05 20m 27s master
master
April 17, 2025 18:05 20m 27s
remove unused bdd based variable elimination Pyodide Build #404: Commit 81f1091 pushed by NikolajBjorner
April 14, 2025 23:07 20m 16s master
master
April 14, 2025 23:07 20m 16s
fix #7602 Pyodide Build #403: Commit e41090d pushed by NikolajBjorner
April 14, 2025 22:38 20m 25s master
master
April 14, 2025 22:38 20m 25s
remove lp_assert Pyodide Build #402: Commit 8035edb pushed by NikolajBjorner
April 14, 2025 18:10 20m 31s master
master
April 14, 2025 18:10 20m 31s