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 slice solver option to command context Open Issues #2590: Commit cfd00ad pushed by NikolajBjorner
October 8, 2024 16:25 30m 53s master
master
October 8, 2024 16:25 30m 53s
refactor and optimize git operations for commit messages and failure … Open Issues #2589: Commit 24d7b05 pushed by NikolajBjorner
October 4, 2024 23:55 31m 2s master
master
October 4, 2024 23:55 31m 2s
fix build Open Issues #2588: Commit 2ae4ac8 pushed by NikolajBjorner
October 4, 2024 15:38 29m 53s master
master
October 4, 2024 15:38 29m 53s
fixup variables Open Issues #2587: Commit b60e1a2 pushed by NikolajBjorner
October 4, 2024 03:06 30m 21s master
master
October 4, 2024 03:06 30m 21s
fixup std-order / inv-order Open Issues #2586: Commit 969511a pushed by NikolajBjorner
October 4, 2024 02:35 30m 4s master
master
October 4, 2024 02:35 30m 4s
reset before manager is deallocated Open Issues #2585: Commit 66bb310 pushed by NikolajBjorner
October 4, 2024 01:19 30m 33s master
master
October 4, 2024 01:19 30m 33s
optimize var_subst Open Issues #2584: Commit a98c925 pushed by NikolajBjorner
October 4, 2024 01:14 30m 3s master
master
October 4, 2024 01:14 30m 3s
install Julia for macos build Open Issues #2583: Commit f5db6bf pushed by NikolajBjorner
October 3, 2024 19:48 32m 39s master
master
October 3, 2024 19:48 32m 39s
remove default destructors Open Issues #2582: Commit 3586b61 pushed by nunoplopes
October 2, 2024 21:20 31m 43s master
master
October 2, 2024 21:20 31m 43s
reorder template definition Open Issues #2581: Commit b170f10 pushed by NikolajBjorner
October 2, 2024 20:42 30m 47s master
master
October 2, 2024 20:42 30m 47s
Bump docker/build-push-action from 6.7.0 to 6.9.0 (#7408) Open Issues #2580: Commit 6dec943 pushed by NikolajBjorner
October 2, 2024 20:23 29m 57s master
master
October 2, 2024 20:23 29m 57s
disambiguate Open Issues #2579: Commit d686e92 pushed by NikolajBjorner
October 2, 2024 17:45 30m 59s master
master
October 2, 2024 17:45 30m 59s
fixes for #7402 Open Issues #2578: Commit c7af973 pushed by NikolajBjorner
October 1, 2024 22:16 29m 19s master
master
October 1, 2024 22:16 29m 19s
fix build warnings Open Issues #2577: Commit 328616b pushed by NikolajBjorner
October 1, 2024 00:25 30m 21s master
master
October 1, 2024 00:25 30m 21s
fix typo in arch for setup.py Open Issues #2576: Commit 8c39863 pushed by NikolajBjorner
September 30, 2024 23:17 30m 42s master
master
September 30, 2024 23:17 30m 42s
add sequoia to os versions #7407 Open Issues #2575: Commit 4cefc51 pushed by NikolajBjorner
September 30, 2024 23:05 29m 4s master
master
September 30, 2024 23:05 29m 4s
add sequoia to os versions #7407 Open Issues #2574: Commit 19f63cd pushed by NikolajBjorner
September 30, 2024 22:57 29m 51s master
master
September 30, 2024 22:57 29m 51s
fix build warnings Open Issues #2573: Commit 86b9718 pushed by NikolajBjorner
September 30, 2024 22:51 30m 15s master
master
September 30, 2024 22:51 30m 15s
fix un-intialized variable warnings Open Issues #2572: Commit 551cc53 pushed by NikolajBjorner
September 30, 2024 22:08 31m 11s master
master
September 30, 2024 22:08 31m 11s
fix build warnings Open Issues #2571: Commit 2c94a3a pushed by NikolajBjorner
September 30, 2024 20:09 30m 53s master
master
September 30, 2024 20:09 30m 53s
fix build warnings Open Issues #2570: Commit 7da58b9 pushed by NikolajBjorner
September 30, 2024 17:34 29m 56s master
master
September 30, 2024 17:34 29m 56s
2nd attempt to use uniform java library location under bin #7406 Open Issues #2569: Commit 30b4fe6 pushed by NikolajBjorner
September 30, 2024 17:05 29m 57s master
master
September 30, 2024 17:05 29m 57s
attempt to use uniform java library location under bin #7406 Open Issues #2568: Commit b65afd4 pushed by NikolajBjorner
September 30, 2024 15:58 29m 45s master
master
September 30, 2024 15:58 29m 45s
increment minor revision number Open Issues #2567: Commit 2ac6f8b pushed by NikolajBjorner
September 30, 2024 14:28 30m 33s master
master
September 30, 2024 14:28 30m 33s
remove --java option Open Issues #2566: Commit c2b2626 pushed by NikolajBjorner
September 30, 2024 14:27 31m 0s master
master
September 30, 2024 14:27 31m 0s