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

disable assertion that checks nl lemmas if using nra core Windows #904: Commit 7f5427b pushed by NikolajBjorner
May 30, 2025 13:47 In progress master
master
May 30, 2025 13:47 In progress
some cleanup and functionality for tracing Windows #903: Commit 2fc3b07 pushed by NikolajBjorner
May 30, 2025 13:47 In progress master
master
May 30, 2025 13:47 In progress
fix #7661 Windows #902: Commit 2714dc2 pushed by NikolajBjorner
May 29, 2025 16:46 4h 21m 52s master
master
May 29, 2025 16:46 4h 21m 52s
use array instead of hash-table to track trace Windows #901: Commit 819c207 pushed by NikolajBjorner
May 29, 2025 16:40 4h 21m 31s master
master
May 29, 2025 16:40 4h 21m 31s
Fix out of bounds error in OCaml API (#7665) (#7666) Windows #900: Commit 257b8e9 pushed by NikolajBjorner
May 29, 2025 16:06 1h 4m 17s master
master
May 29, 2025 16:06 1h 4m 17s
enable tag classes Windows #899: Commit 4b2e5ad pushed by NikolajBjorner
May 28, 2025 16:58 1h 0m 43s master
master
May 28, 2025 16:58 1h 0m 43s
initialize tag class circular linked list Windows #898: Commit bbb3d53 pushed by NikolajBjorner
May 28, 2025 16:10 1h 3m 19s master
master
May 28, 2025 16:10 1h 3m 19s
remove commented out include directives to avoid confusing build scripts Windows #897: Commit a3aee02 pushed by NikolajBjorner
May 28, 2025 15:07 1h 4m 28s master
master
May 28, 2025 15:07 1h 4m 28s
add full path to util in include directives Windows #896: Commit 6d70b49 pushed by NikolajBjorner
May 28, 2025 13:57 1h 4m 23s master
master
May 28, 2025 13:57 1h 4m 23s
Centralize and document TRACE tags using X-macros (#7657) Windows #895: Commit 0a93ff5 pushed by NikolajBjorner
May 28, 2025 13:31 1h 3m 16s master
master
May 28, 2025 13:31 1h 3m 16s
add seed parameter, fix trail undo order from insertion to ensure lif… Windows #894: Commit d766292 pushed by NikolajBjorner
May 27, 2025 17:03 1h 4m 14s master
master
May 27, 2025 17:03 1h 4m 14s
Fix setup_relevancy for relevancy-dependent case split strategies (#7… Windows #893: Commit b44c897 pushed by NikolajBjorner
May 27, 2025 15:52 1h 0m 38s master
master
May 27, 2025 15:52 1h 0m 38s
missing file Windows #892: Commit 80c553d pushed by NikolajBjorner
May 23, 2025 23:20 1h 0m 51s master
master
May 23, 2025 23:20 1h 0m 51s
v1 of a randomizer simplifier Windows #891: Commit 77fed8b pushed by NikolajBjorner
May 23, 2025 23:15 1m 46s master
master
May 23, 2025 23:15 1m 46s
for future ignoring genai files Windows #890: Commit 84a5303 pushed by NikolajBjorner
May 22, 2025 00:09 1h 1m 41s master
master
May 22, 2025 00:09 1h 1m 41s
remove quotes from arguments to TRACE Windows #889: Commit 805d579 pushed by NikolajBjorner
May 21, 2025 23:44 5m 3s master
master
May 21, 2025 23:44 5m 3s
update add-term to avoid duplicating fresh aux-expr Windows #888: Commit 85e7243 pushed by NikolajBjorner
May 20, 2025 21:22 1h 2m 37s master
master
May 20, 2025 21:22 1h 2m 37s
Pr (#7654) Windows #887: Commit c2098b4 pushed by NikolajBjorner
May 19, 2025 10:24 59m 21s master
master
May 19, 2025 10:24 59m 21s
Update prd.yml Windows #886: Commit 8d67fee pushed by NikolajBjorner
May 18, 2025 00:39 1h 0m 27s master
master
May 18, 2025 00:39 1h 0m 27s
Update prd.yml Windows #885: Commit a4e7123 pushed by NikolajBjorner
May 18, 2025 00:34 58m 52s master
master
May 18, 2025 00:34 58m 52s
Update prd.yml Windows #884: Commit a7fbddd pushed by NikolajBjorner
May 18, 2025 00:24 59m 19s master
master
May 18, 2025 00:24 59m 19s
add prd (#7649) Windows #883: Commit ad02d18 pushed by NikolajBjorner
May 18, 2025 00:07 1h 1m 48s master
master
May 18, 2025 00:07 1h 1m 48s
Create prd.yml Windows #882: Commit 3381220 pushed by NikolajBjorner
May 16, 2025 21:15 1h 2m 26s master
master
May 16, 2025 21:15 1h 2m 26s
refactoring to use for-range Windows #881: Commit 47c12f9 pushed by NikolajBjorner
May 15, 2025 17:57 1h 0m 50s master
master
May 15, 2025 17:57 1h 0m 50s
Add support for building Z3 using Bazel. (#7646) Windows #880: Commit 0b26f7e pushed by NikolajBjorner
May 15, 2025 15:47 59m 18s master
master
May 15, 2025 15:47 59m 18s