Skip to content

Actions: Z3Prover/z3

Actions

Open Issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wip.yml
814 workflow runs
814 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add shortcut to retrieve kind of application Open Issues #2615: Commit 8b657f2 pushed by NikolajBjorner
October 22, 2024 20:05 31m 14s master
master
October 22, 2024 20:05 31m 14s
add shortcut to retrieve kind of application Open Issues #2614: Commit 78d1139 pushed by NikolajBjorner
October 22, 2024 20:04 32m 52s master
master
October 22, 2024 20:04 32m 52s
remove debug out Open Issues #2613: Commit 0ebea1c pushed by NikolajBjorner
October 22, 2024 18:58 34m 33s master
master
October 22, 2024 18:58 34m 33s
fix non-termination bug in elim-unconstrained, add parameter validati… Open Issues #2612: Commit 253f7d7 pushed by NikolajBjorner
October 22, 2024 16:59 33m 5s master
master
October 22, 2024 16:59 33m 5s
js: Adding manual release methods (#7428) Open Issues #2611: Commit 45ef6d0 pushed by NikolajBjorner
October 22, 2024 16:15 33m 20s master
master
October 22, 2024 16:15 33m 20s
It uses C++20 BTW (#7429) Open Issues #2610: Commit 5cee19f pushed by NikolajBjorner
October 21, 2024 03:00 33m 9s master
master
October 21, 2024 03:00 33m 9s
add variables from definitions Open Issues #2609: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 32m 52s master
master
October 17, 2024 02:08 32m 52s
better model replay for loose entries Open Issues #2608: Commit 92376e6 pushed by NikolajBjorner
October 16, 2024 20:07 32m 48s master
master
October 16, 2024 20:07 32m 48s
update unit_lim to the correct value (#7423) Open Issues #2607: Commit 8ff4036 pushed by NikolajBjorner
October 16, 2024 17:23 34m 19s master
master
October 16, 2024 17:23 34m 19s
fix the code to cube at the correct frequency (#7422) Open Issues #2606: Commit 3896e18 pushed by NikolajBjorner
October 15, 2024 15:56 32m 40s master
master
October 15, 2024 15:56 32m 40s
simplify string patterns into prefix/suffix constraints Open Issues #2605: Commit 5993735 pushed by NikolajBjorner
October 14, 2024 21:32 34m 13s master
master
October 14, 2024 21:32 34m 13s
Update docker-image.yml Open Issues #2604: Commit 62478db pushed by NikolajBjorner
October 14, 2024 02:50 34m 7s master
master
October 14, 2024 02:50 34m 7s
fixes for #7420 #7405 Open Issues #2603: Commit 56b706a pushed by NikolajBjorner
October 13, 2024 22:52 32m 6s master
master
October 13, 2024 22:52 32m 6s
#7419 Open Issues #2602: Commit 3a8195b pushed by NikolajBjorner
October 12, 2024 18:48 32m 59s master
master
October 12, 2024 18:48 32m 59s
increment minor version number Open Issues #2601: Commit 7a0b58b pushed by NikolajBjorner
October 11, 2024 00:27 31m 42s master
master
October 11, 2024 00:27 31m 42s
fix recursive self call for slice_solver check-sat-cc method Open Issues #2600: Commit efde656 pushed by NikolajBjorner
October 10, 2024 23:38 32m 34s master
master
October 10, 2024 23:38 32m 34s
add _0 to platform tag for pypi Open Issues #2599: Commit 54d30f2 pushed by NikolajBjorner
October 10, 2024 22:52 33m 23s master
master
October 10, 2024 22:52 33m 23s
downgrade to macos13 in builds until fully supported by pypi Open Issues #2598: Commit 6e3b99f pushed by NikolajBjorner
October 10, 2024 21:19 32m 48s master
master
October 10, 2024 21:19 32m 48s
update release notes Open Issues #2597: Commit b268b56 pushed by NikolajBjorner
October 10, 2024 17:34 33m 45s master
master
October 10, 2024 17:34 33m 45s
fix typo in setup.py Open Issues #2596: Commit 00f1f1b pushed by NikolajBjorner
October 9, 2024 21:19 32m 47s master
master
October 9, 2024 21:19 32m 47s
remove : from setup.py Open Issues #2595: Commit fe71b75 pushed by NikolajBjorner
October 9, 2024 20:21 32m 42s master
master
October 9, 2024 20:21 32m 42s
remove hard-wired osx=11.0 Open Issues #2594: Commit 5dc1b1a pushed by NikolajBjorner
October 9, 2024 20:01 33m 19s master
master
October 9, 2024 20:01 33m 19s
setup python dist to remove internal build suffix for macos Open Issues #2593: Commit 48aa2f6 pushed by NikolajBjorner
October 9, 2024 19:47 33m 45s master
master
October 9, 2024 19:47 33m 45s
remove m_level attribute, use s->get_scope_level directly Open Issues #2592: Commit da614c6 pushed by NikolajBjorner
October 9, 2024 02:57 32m 41s master
master
October 9, 2024 02:57 32m 41s
fix #7363. Replay relevancy on unit literals that are re-asserted dur… Open Issues #2591: Commit 6bd46b0 pushed by NikolajBjorner
October 9, 2024 02:40 29m 11s master
master
October 9, 2024 02:40 29m 11s