Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
724 workflow runs
724 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix conversion of signed 1-bit BV to FP Windows #854: Commit 322e444 pushed by nunoplopes
April 25, 2025 11:38 1h 7m 49s master
master
April 25, 2025 11:38 1h 7m 49s
fix latent sign bug Windows #853: Commit 792ffee pushed by NikolajBjorner
April 24, 2025 00:23 1h 3m 35s master
master
April 24, 2025 00:23 1h 3m 35s
add scaffolding for experiments with slack Windows #852: Commit fe1fff3 pushed by NikolajBjorner
April 24, 2025 00:07 1h 2m 14s master
master
April 24, 2025 00:07 1h 2m 14s
rename fields to compile on c++ platforms Windows #851: Commit 12ccf59 pushed by NikolajBjorner
April 24, 2025 00:06 1h 3m 57s master
master
April 24, 2025 00:06 1h 3m 57s
convert m_r_upper and m_r_lower bounds to plain vectors Windows #850: Commit e41acd7 pushed by NikolajBjorner
April 23, 2025 23:33 1h 1m 38s master
master
April 23, 2025 23:33 1h 1m 38s
consolidate some bounds references Windows #849: Commit fae6094 pushed by NikolajBjorner
April 23, 2025 22:45 1h 6m 7s master
master
April 23, 2025 22:45 1h 6m 7s
fix #7629 Windows #848: Commit f6fbeda pushed by NikolajBjorner
April 23, 2025 22:24 1h 4m 39s master
master
April 23, 2025 22:24 1h 4m 39s
use inlined functions Windows #847: Commit 7641393 pushed by NikolajBjorner
April 23, 2025 21:52 1h 3m 14s master
master
April 23, 2025 21:52 1h 3m 14s
coalesce updates to bounds Windows #846: Commit 5cc57b8 pushed by NikolajBjorner
April 23, 2025 21:05 1h 1m 47s master
master
April 23, 2025 21:05 1h 1m 47s
add power axioms to arith_solver Windows #845: Commit 579ba8b pushed by NikolajBjorner
April 23, 2025 17:48 1h 2m 47s master
master
April 23, 2025 17:48 1h 2m 47s
handle root expressions, and checking exponentiation with nlsat Windows #844: Commit ff920ba pushed by NikolajBjorner
April 22, 2025 20:47 1h 3m 6s master
master
April 22, 2025 20:47 1h 3m 6s
Replace _DEBUG with Z3DEBUG (#7628) Windows #843: Commit 2fe2735 pushed by NikolajBjorner
April 22, 2025 20:39 1h 1m 24s master
master
April 22, 2025 20:39 1h 1m 24s
fallback to Gomory cuts and gcd conflicts if dio fails Windows #842: Commit a1673f2 pushed by levnach
April 22, 2025 03:19 1h 2m 47s master
master
April 22, 2025 03:19 1h 2m 47s
remove superfluous makefile Windows #841: Commit cc1bb0a pushed by NikolajBjorner
April 19, 2025 20:56 1h 1m 10s master
master
April 19, 2025 20:56 1h 1m 10s
provide shortcut to command-line version to retrieve parameters Windows #840: Commit 17cac7d pushed by NikolajBjorner
April 19, 2025 20:51 1h 1m 32s master
master
April 19, 2025 20:51 1h 1m 32s
add badge for ocaml cmake Windows #839: Commit 6e88d91 pushed by NikolajBjorner
April 19, 2025 20:46 59m 31s master
master
April 19, 2025 20:46 59m 31s
address build warning with overloaded virtual operators Windows #838: Commit 3761dd8 pushed by NikolajBjorner
April 19, 2025 20:42 58m 19s master
master
April 19, 2025 20:42 58m 19s
WIP: Migrating OCaml binding to CMake (#7254) Windows #837: Commit f7aec02 pushed by NikolajBjorner
April 19, 2025 20:41 58m 40s master
master
April 19, 2025 20:41 58m 40s
change the default of running dio to true, and running gcd to false, … Windows #836: Commit ab9f330 pushed by levnach
April 19, 2025 01:24 1h 1m 7s master
master
April 19, 2025 01:24 1h 1m 7s
Add an option "ctrl_c" that can be used to disable Ctrl-C signal hand… Windows #835: Commit e31e981 pushed by NikolajBjorner
April 18, 2025 17:34 1h 3m 49s master
master
April 18, 2025 17:34 1h 3m 49s
remove non-working ts mcp server, settle with python variant Windows #834: Commit ed5dd26 pushed by NikolajBjorner
April 18, 2025 17:10 59m 51s master
master
April 18, 2025 17:10 59m 51s
minimal z3 MCP server Windows #833: Commit 741cb5c pushed by NikolajBjorner
April 18, 2025 17:00 1h 2m 34s master
master
April 18, 2025 17:00 1h 2m 34s
disable assignment for param_descrs Windows #832: Commit f63c9e3 pushed by NikolajBjorner
April 18, 2025 00:29 1h 1m 59s master
master
April 18, 2025 00:29 1h 1m 59s
stab at SMTLIB REL mcp server Windows #831: Commit 3f73c8b pushed by NikolajBjorner
April 18, 2025 00:23 1h 2m 6s master
master
April 18, 2025 00:23 1h 2m 6s
fix #7622 Windows #830: Commit 755f579 pushed by NikolajBjorner
April 17, 2025 18:05 1h 6m 0s master
master
April 17, 2025 18:05 1h 6m 0s