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 new ema invariant (#7288) Open Issues #2440: Commit b006901 pushed by NikolajBjorner
July 15, 2024 20:07 25m 2s master
master
July 15, 2024 20:07 25m 2s
kludge to address #7232, probably superseeded by planned revision to … Open Issues #2439: Commit 374609b pushed by NikolajBjorner
July 8, 2024 23:54 24m 27s master
master
July 8, 2024 23:54 24m 27s
fix #7268 Open Issues #2438: Commit af1f0e3 pushed by NikolajBjorner
July 8, 2024 21:50 27m 23s master
master
July 8, 2024 21:50 27m 23s
remove macro distinction #7270 Open Issues #2437: Commit 6e069c1 pushed by NikolajBjorner
July 8, 2024 20:56 25m 3s master
master
July 8, 2024 20:56 25m 3s
trigger the build with a comment change Open Issues #2436: Commit 18b6087 pushed by levnach
July 8, 2024 18:43 25m 44s master
master
July 8, 2024 18:43 25m 44s
Fix a comment for Z3_solver_from_string (#7271) Open Issues #2435: Commit 1da1320 pushed by NikolajBjorner
July 2, 2024 14:09 24m 44s master
master
July 2, 2024 14:09 24m 44s
Bump docker/build-push-action from 6.1.0 to 6.2.0 (#7269) Open Issues #2434: Commit facc7d8 pushed by NikolajBjorner
July 1, 2024 22:43 24m 53s master
master
July 1, 2024 22:43 24m 53s
set clean shutdown for local search and re-enable local search when i… Open Issues #2433: Commit 8de2544 pushed by NikolajBjorner
June 30, 2024 23:06 24m 50s master
master
June 30, 2024 23:06 24m 50s
Bump docker/build-push-action from 6.0.0 to 6.1.0 (#7265) Open Issues #2432: Commit b2b3bab pushed by NikolajBjorner
June 26, 2024 16:15 24m 12s master
master
June 26, 2024 16:15 24m 12s
fix #7264 Open Issues #2431: Commit 8e482df pushed by NikolajBjorner
June 21, 2024 15:37 25m 56s master
master
June 21, 2024 15:37 25m 56s
disable publish and signing Open Issues #2430: Commit c137ef7 pushed by NikolajBjorner
June 20, 2024 18:11 25m 14s master
master
June 20, 2024 18:11 25m 14s
disable publish and signing Open Issues #2429: Commit abea0b7 pushed by NikolajBjorner
June 20, 2024 16:43 25m 5s master
master
June 20, 2024 16:43 25m 5s
skip signing Open Issues #2428: Commit b5c3a6a pushed by NikolajBjorner
June 20, 2024 01:28 25m 14s master
master
June 20, 2024 01:28 25m 14s
update to macOS-latest Open Issues #2427: Commit 4ca59c5 pushed by NikolajBjorner
June 20, 2024 00:26 24m 24s master
master
June 20, 2024 00:26 24m 24s
revert nightly to 2_28 manylinux Open Issues #2426: Commit 2654d80 pushed by NikolajBjorner
June 19, 2024 23:19 24m 26s master
master
June 19, 2024 23:19 24m 26s
fix #7260 Open Issues #2425: Commit 3bf2b3f pushed by NikolajBjorner
June 19, 2024 22:37 24m 39s master
master
June 19, 2024 22:37 24m 39s
Bump docker/build-push-action from 5.3.0 to 6.0.0 (#7257) Open Issues #2424: Commit 223b65b pushed by NikolajBjorner
June 19, 2024 22:29 25m 12s master
master
June 19, 2024 22:29 25m 12s
Bump braces from 3.0.2 to 3.0.3 in /src/api/js (#7261) Open Issues #2423: Commit 758d886 pushed by NikolajBjorner
June 19, 2024 22:29 24m 44s master
master
June 19, 2024 22:29 24m 44s
fix lemma logging in nlsat Open Issues #2422: Commit bf3615d pushed by levnach
June 17, 2024 20:15 24m 55s master
master
June 17, 2024 20:15 24m 55s
remove unused column_info.h Open Issues #2421: Commit e4b3df2 pushed by levnach
June 17, 2024 19:58 25m 53s master
master
June 17, 2024 19:58 25m 53s
update containers for Python, first steps to address #7232 Open Issues #2420: Commit c0b4d02 pushed by NikolajBjorner
June 17, 2024 15:06 25m 21s master
master
June 17, 2024 15:06 25m 21s
add partial evaluation cases for algebraic data-types for recursive f… Open Issues #2419: Commit ef86f5f pushed by NikolajBjorner
June 16, 2024 23:07 24m 48s master
master
June 16, 2024 23:07 24m 48s
fix #7245 Open Issues #2418: Commit 01e47bf pushed by NikolajBjorner
June 15, 2024 09:29 25m 1s master
master
June 15, 2024 09:29 25m 1s
fix #7252 Open Issues #2417: Commit a6b5027 pushed by NikolajBjorner
June 14, 2024 00:52 25m 2s master
master
June 14, 2024 00:52 25m 2s
fix #7248 Open Issues #2416: Commit 35c1cac pushed by NikolajBjorner
June 12, 2024 21:26 24m 47s master
master
June 12, 2024 21:26 24m 47s