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

remove unused bdd based variable elimination Windows #829: Commit 81f1091 pushed by NikolajBjorner
April 14, 2025 23:07 1h 3m 55s master
master
April 14, 2025 23:07 1h 3m 55s
fix #7602 Windows #828: Commit e41090d pushed by NikolajBjorner
April 14, 2025 22:38 1h 4m 12s master
master
April 14, 2025 22:38 1h 4m 12s
remove lp_assert Windows #827: Commit 8035edb pushed by NikolajBjorner
April 14, 2025 18:10 1h 2m 50s master
master
April 14, 2025 18:10 1h 2m 50s
fix build warnings Windows #826: Commit 1510b31 pushed by NikolajBjorner
April 14, 2025 17:34 1h 1m 50s master
master
April 14, 2025 17:34 1h 1m 50s
Add Iterators as acceptable arguments to functions (#7620) Windows #825: Commit 5ad79f2 pushed by NikolajBjorner
April 12, 2025 17:32 1h 2m 8s master
master
April 12, 2025 17:32 1h 2m 8s
Fix a race condition in scoped_timer::finalize (#7618) Windows #824: Commit 6ecc7a2 pushed by nunoplopes
April 11, 2025 07:08 1h 0m 19s master
master
April 11, 2025 07:08 1h 0m 19s
spacing Windows #823: Commit a83efa6 pushed by NikolajBjorner
April 10, 2025 03:24 1h 2m 6s master
master
April 10, 2025 03:24 1h 2m 6s
Add Z3_is_recursive_datatype_sort to the API (#7615) Windows #822: Commit d792840 pushed by NikolajBjorner
April 8, 2025 21:37 1h 0m 3s master
master
April 8, 2025 21:37 1h 0m 3s
include LICENSE.txt in wheels (#7614) Windows #821: Commit 14e2aad pushed by NikolajBjorner
April 7, 2025 15:41 1h 3m 20s master
master
April 7, 2025 15:41 1h 3m 20s
list[ExprRef] doesn't build for python Windows #820: Commit 0b7a81b pushed by NikolajBjorner
April 5, 2025 21:45 1h 1m 32s master
master
April 5, 2025 21:45 1h 1m 32s
update agentz3 sample based on hugging face training/test data Windows #819: Commit 2b60550 pushed by NikolajBjorner
April 5, 2025 21:43 1h 0m 12s master
master
April 5, 2025 21:43 1h 0m 12s
#7605 Windows #818: Commit e7ff600 pushed by NikolajBjorner
April 5, 2025 19:07 1h 2m 29s master
master
April 5, 2025 19:07 1h 2m 29s
fix #7607 Windows #817: Commit a39efbb pushed by NikolajBjorner
April 5, 2025 18:58 1h 1m 14s master
master
April 5, 2025 18:58 1h 1m 14s
remove type annotation Context | None to ensure Centos ARM Build pass Windows #816: Commit 9d8291a pushed by NikolajBjorner
April 5, 2025 17:51 1h 0m 4s master
master
April 5, 2025 17:51 1h 0m 4s
type annotations across Python versions Windows #815: Commit f607331 pushed by NikolajBjorner
April 5, 2025 05:14 1h 0m 56s master
master
April 5, 2025 05:14 1h 0m 56s
remove downlevel version incompatible elements of typing Windows #814: Commit bd2c7aa pushed by NikolajBjorner
April 5, 2025 03:18 1h 0m 13s master
master
April 5, 2025 03:18 1h 0m 13s
remove references to TypeGuard Windows #813: Commit 305f1e8 pushed by NikolajBjorner
April 5, 2025 02:41 59m 2s master
master
April 5, 2025 02:41 59m 2s
add initial sample agent use case Windows #812: Commit a5048e4 pushed by NikolajBjorner
April 5, 2025 01:54 1h 3m 46s master
master
April 5, 2025 01:54 1h 3m 46s
[z3.py] Fix incorrect call to _get_ctx in SeqMapI (#7610) Windows #811: Commit eb4e28d pushed by NikolajBjorner
April 4, 2025 22:54 1h 0m 41s master
master
April 4, 2025 22:54 1h 0m 41s
Note that Z3_get_numeral_small is essentially redundant (#7599) Windows #810: Commit 8d81a2d pushed by NikolajBjorner
March 29, 2025 17:02 1h 1m 13s master
master
March 29, 2025 17:02 1h 1m 13s
Add Z3_get_array_arity (#7598) Windows #809: Commit 63ad283 pushed by NikolajBjorner
March 28, 2025 21:42 1h 1m 22s master
master
March 28, 2025 21:42 1h 1m 22s
Remove vestiges of old ml api (#7597) Windows #808: Commit 934455a pushed by NikolajBjorner
March 27, 2025 23:41 1h 0m 22s master
master
March 27, 2025 23:41 1h 0m 22s
replace Exists by ForAll in the mathematica lemmas Windows #807: Commit e4897ff pushed by levnach
March 27, 2025 19:32 59m 24s master
master
March 27, 2025 19:32 59m 24s
enable shorterter mathematica printouts in nlsat Windows #806: Commit 39df899 pushed by levnach
March 27, 2025 19:23 1h 3m 15s master
master
March 27, 2025 19:23 1h 3m 15s
turn on ite simplification by default Windows #805: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 1h 2m 5s master
master
March 26, 2025 18:30 1h 2m 5s