Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
408 workflow runs
408 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add shortcut to retrieve kind of application Windows #408: Commit 8b657f2 pushed by NikolajBjorner
October 22, 2024 20:05 56m 0s master
master
October 22, 2024 20:05 56m 0s
add shortcut to retrieve kind of application Windows #407: Commit 78d1139 pushed by NikolajBjorner
October 22, 2024 20:04 56m 27s master
master
October 22, 2024 20:04 56m 27s
remove debug out Windows #406: Commit 0ebea1c pushed by NikolajBjorner
October 22, 2024 18:58 55m 48s master
master
October 22, 2024 18:58 55m 48s
fix non-termination bug in elim-unconstrained, add parameter validati… Windows #405: Commit 253f7d7 pushed by NikolajBjorner
October 22, 2024 16:59 44m 49s master
master
October 22, 2024 16:59 44m 49s
js: Adding manual release methods (#7428) Windows #404: Commit 45ef6d0 pushed by NikolajBjorner
October 22, 2024 16:15 55m 47s master
master
October 22, 2024 16:15 55m 47s
It uses C++20 BTW (#7429) Windows #403: Commit 5cee19f pushed by NikolajBjorner
October 21, 2024 03:00 54m 48s master
master
October 21, 2024 03:00 54m 48s
add variables from definitions Windows #402: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 56m 10s master
master
October 17, 2024 02:08 56m 10s
better model replay for loose entries Windows #401: Commit 92376e6 pushed by NikolajBjorner
October 16, 2024 20:07 58m 18s master
master
October 16, 2024 20:07 58m 18s
update unit_lim to the correct value (#7423) Windows #400: Commit 8ff4036 pushed by NikolajBjorner
October 16, 2024 17:23 58m 4s master
master
October 16, 2024 17:23 58m 4s
fix the code to cube at the correct frequency (#7422) Windows #399: Commit 3896e18 pushed by NikolajBjorner
October 15, 2024 15:56 56m 15s master
master
October 15, 2024 15:56 56m 15s
simplify string patterns into prefix/suffix constraints Windows #398: Commit 5993735 pushed by NikolajBjorner
October 14, 2024 21:32 54m 22s master
master
October 14, 2024 21:32 54m 22s
Update docker-image.yml Windows #397: Commit 62478db pushed by NikolajBjorner
October 14, 2024 02:50 55m 8s master
master
October 14, 2024 02:50 55m 8s
fixes for #7420 #7405 Windows #396: Commit 56b706a pushed by NikolajBjorner
October 13, 2024 22:52 56m 1s master
master
October 13, 2024 22:52 56m 1s
#7419 Windows #395: Commit 3a8195b pushed by NikolajBjorner
October 12, 2024 18:48 56m 37s master
master
October 12, 2024 18:48 56m 37s
increment minor version number Windows #394: Commit 7a0b58b pushed by NikolajBjorner
October 11, 2024 00:27 53m 57s master
master
October 11, 2024 00:27 53m 57s
fix recursive self call for slice_solver check-sat-cc method Windows #393: Commit efde656 pushed by NikolajBjorner
October 10, 2024 23:38 52m 34s master
master
October 10, 2024 23:38 52m 34s
add _0 to platform tag for pypi Windows #392: Commit 54d30f2 pushed by NikolajBjorner
October 10, 2024 22:52 57m 44s master
master
October 10, 2024 22:52 57m 44s
downgrade to macos13 in builds until fully supported by pypi Windows #391: Commit 6e3b99f pushed by NikolajBjorner
October 10, 2024 21:19 55m 47s master
master
October 10, 2024 21:19 55m 47s
update release notes Windows #390: Commit b268b56 pushed by NikolajBjorner
October 10, 2024 17:34 54m 3s master
master
October 10, 2024 17:34 54m 3s
fix typo in setup.py Windows #389: Commit 00f1f1b pushed by NikolajBjorner
October 9, 2024 21:19 55m 0s master
master
October 9, 2024 21:19 55m 0s
remove : from setup.py Windows #388: Commit fe71b75 pushed by NikolajBjorner
October 9, 2024 20:21 55m 33s master
master
October 9, 2024 20:21 55m 33s
remove hard-wired osx=11.0 Windows #387: Commit 5dc1b1a pushed by NikolajBjorner
October 9, 2024 20:01 53m 22s master
master
October 9, 2024 20:01 53m 22s
setup python dist to remove internal build suffix for macos Windows #386: Commit 48aa2f6 pushed by NikolajBjorner
October 9, 2024 19:47 56m 27s master
master
October 9, 2024 19:47 56m 27s
remove m_level attribute, use s->get_scope_level directly Windows #385: Commit da614c6 pushed by NikolajBjorner
October 9, 2024 02:57 53m 40s master
master
October 9, 2024 02:57 53m 40s
fix #7363. Replay relevancy on unit literals that are re-asserted dur… Windows #384: Commit 6bd46b0 pushed by NikolajBjorner
October 9, 2024 02:40 54m 31s master
master
October 9, 2024 02:40 54m 31s