Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
798 workflow runs
798 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "Parallel solving (#7775)" (#7777) Windows #1024: Commit e24a5b6 pushed by NikolajBjorner
August 15, 2025 01:16 1h 0m 57s master
master
August 15, 2025 01:16 1h 0m 57s
Use solver factory translate method in Z3_solver_translate (#7782) Windows #1023: Commit 1e7832a pushed by NikolajBjorner
August 15, 2025 01:13 58m 48s master
master
August 15, 2025 01:13 58m 48s
fix releaseNotesSource to inline Windows #1022: Commit 174d64c pushed by NikolajBjorner
August 14, 2025 21:43 58m 36s master
master
August 14, 2025 21:43 58m 36s
Add virtual translate method to solver_factory class (#7780) Windows #1021: Commit eb7fd9e pushed by NikolajBjorner
August 14, 2025 18:54 58m 17s master
master
August 14, 2025 18:54 58m 17s
updates to euf completion Windows #1020: Commit 237891c pushed by NikolajBjorner
August 13, 2025 17:24 57m 46s master
master
August 13, 2025 17:24 57m 46s
Parallel solving (#7775) Windows #1019: Commit c8e866f pushed by NikolajBjorner
August 13, 2025 05:37 1h 0m 15s master
master
August 13, 2025 05:37 1h 0m 15s
Bump actions/checkout from 4 to 5 (#7773) Windows #1018: Commit d375d97 pushed by NikolajBjorner
August 12, 2025 22:19 57m 52s master
master
August 12, 2025 22:19 57m 52s
Add .github/copilot-instructions.md with comprehensive Z3 development… Windows #1017: Commit 6486d92 pushed by NikolajBjorner
August 12, 2025 22:18 57m 39s master
master
August 12, 2025 22:18 57m 39s
restore the square-free check Windows #1016: Commit cf8a17a pushed by levnach
August 11, 2025 20:16 1h 0m 34s master
master
August 11, 2025 20:16 1h 0m 34s
remove unused square-free check Windows #1015: Commit e33dc47 pushed by levnach
August 11, 2025 14:24 57m 27s master
master
August 11, 2025 14:24 57m 27s
Update RELEASE_NOTES.md Windows #1014: Commit b7d5add pushed by NikolajBjorner
August 10, 2025 21:25 59m 8s master
master
August 10, 2025 21:25 59m 8s
rename add_lcs to add_lc Windows #1013: Commit 8598a74 pushed by levnach
August 8, 2025 18:02 1h 3m 52s master
master
August 8, 2025 18:02 1h 3m 52s
remove ref to theory_str Windows #1012: Commit efb0bda pushed by NikolajBjorner
August 8, 2025 04:21 49m 54s master
master
August 8, 2025 04:21 49m 54s
remove automata from python build Windows #1011: Commit baa0588 pushed by NikolajBjorner
August 8, 2025 04:07 50m 0s master
master
August 8, 2025 04:07 50m 0s
remove theory_str and classes that are only used by it Windows #1010: Commit fcd3a70 pushed by NikolajBjorner
August 8, 2025 04:05 48m 57s master
master
August 8, 2025 04:05 48m 57s
avoid interferring side-effects in function calls Windows #1009: Commit 2ac1b24 pushed by NikolajBjorner
August 7, 2025 21:40 1h 0m 56s master
master
August 7, 2025 21:40 1h 0m 56s
fix java build for java bindings Windows #1008: Commit 7ba967e pushed by NikolajBjorner
August 7, 2025 21:37 58m 57s master
master
August 7, 2025 21:37 58m 57s
register on_binding attribute Windows #1007: Commit 0cefc92 pushed by NikolajBjorner
August 7, 2025 20:46 59m 2s master
master
August 7, 2025 20:46 59m 2s
use jboolean in Native interface Windows #1006: Commit d57dd6e pushed by NikolajBjorner
August 7, 2025 20:11 1h 1m 31s master
master
August 7, 2025 20:11 1h 1m 31s
add on_binding callbacks across APIs Windows #1005: Commit fa3d341 pushed by NikolajBjorner
August 7, 2025 19:56 58m 55s master
master
August 7, 2025 19:56 58m 55s
rename a Python file Windows #1004: Commit 30830aa pushed by levnach
August 7, 2025 15:33 1h 3m 51s master
master
August 7, 2025 15:33 1h 3m 51s
add Z3_solver_propagate_on_binding to ml callback declarations Windows #1003: Commit 31a3037 pushed by NikolajBjorner
August 7, 2025 12:54 59m 21s master
master
August 7, 2025 12:54 59m 21s
missing new closure Windows #1002: Commit aad511d pushed by NikolajBjorner
August 7, 2025 04:22 58m 56s master
master
August 7, 2025 04:22 58m 56s
add an option to register callback on quantifier instantiation Windows #1001: Commit b33f444 pushed by NikolajBjorner
August 7, 2025 04:12 1h 2m 50s master
master
August 7, 2025 04:12 1h 2m 50s
fix #7603: race condition in Ctrl-C handling (#7755) Windows #1000: Commit b1ab695 pushed by NikolajBjorner
August 6, 2025 21:27 1h 0m 19s master
master
August 6, 2025 21:27 1h 0m 19s