Skip to content

Actions: Z3Prover/z3

Actions

OCaml Binding CI (Ubuntu + macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml-all.yaml
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

disable assertion that checks nl lemmas if using nra core OCaml Binding CI (Ubuntu + macOS) #162: Commit 7f5427b pushed by NikolajBjorner
May 30, 2025 13:47 19m 38s master
master
May 30, 2025 13:47 19m 38s
some cleanup and functionality for tracing OCaml Binding CI (Ubuntu + macOS) #161: Commit 2fc3b07 pushed by NikolajBjorner
May 30, 2025 13:47 19m 20s master
master
May 30, 2025 13:47 19m 20s
restore unit clause justification behavior OCaml Binding CI (Ubuntu + macOS) #160: Commit e4cae32 pushed by levnach
May 29, 2025 21:28 18m 29s experiment_nlsat
experiment_nlsat
May 29, 2025 21:28 18m 29s
fix #7661 OCaml Binding CI (Ubuntu + macOS) #159: Commit 2714dc2 pushed by NikolajBjorner
May 29, 2025 16:46 20m 5s master
master
May 29, 2025 16:46 20m 5s
use array instead of hash-table to track trace OCaml Binding CI (Ubuntu + macOS) #158: Commit 819c207 pushed by NikolajBjorner
May 29, 2025 16:40 20m 8s master
master
May 29, 2025 16:40 20m 8s
create sorted atom expressions for debugging OCaml Binding CI (Ubuntu + macOS) #157: Commit 8a7a322 pushed by levnach
May 29, 2025 16:21 18m 32s experiment_nlsat
experiment_nlsat
May 29, 2025 16:21 18m 32s
Fix out of bounds error in OCaml API (#7665) (#7666) OCaml Binding CI (Ubuntu + macOS) #156: Commit 257b8e9 pushed by NikolajBjorner
May 29, 2025 16:06 20m 39s master
master
May 29, 2025 16:06 20m 39s
enable tag classes OCaml Binding CI (Ubuntu + macOS) #154: Commit 4b2e5ad pushed by NikolajBjorner
May 28, 2025 16:58 20m 33s master
master
May 28, 2025 16:58 20m 33s
initialize tag class circular linked list OCaml Binding CI (Ubuntu + macOS) #153: Commit bbb3d53 pushed by NikolajBjorner
May 28, 2025 16:10 20m 3s master
master
May 28, 2025 16:10 20m 3s
remove commented out include directives to avoid confusing build scripts OCaml Binding CI (Ubuntu + macOS) #152: Commit a3aee02 pushed by NikolajBjorner
May 28, 2025 15:07 19m 13s master
master
May 28, 2025 15:07 19m 13s
add full path to util in include directives OCaml Binding CI (Ubuntu + macOS) #151: Commit 6d70b49 pushed by NikolajBjorner
May 28, 2025 13:57 21m 54s master
master
May 28, 2025 13:57 21m 54s
Centralize and document TRACE tags using X-macros (#7657) OCaml Binding CI (Ubuntu + macOS) #150: Commit 0a93ff5 pushed by NikolajBjorner
May 28, 2025 13:31 20m 46s master
master
May 28, 2025 13:31 20m 46s
add seed parameter, fix trail undo order from insertion to ensure lif… OCaml Binding CI (Ubuntu + macOS) #148: Commit d766292 pushed by NikolajBjorner
May 27, 2025 17:03 18m 33s master
master
May 27, 2025 17:03 18m 33s
Fix setup_relevancy for relevancy-dependent case split strategies (#7… OCaml Binding CI (Ubuntu + macOS) #147: Commit b44c897 pushed by NikolajBjorner
May 27, 2025 15:52 18m 48s master
master
May 27, 2025 15:52 18m 48s
Centralize and document TRACE tags using X-macros OCaml Binding CI (Ubuntu + macOS) #145: Pull request #7657 synchronize by IamYJLee
May 27, 2025 00:58 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 27, 2025 00:58 Action required
Bazel: expose z3_static target for working macOS, win32 builds OCaml Binding CI (Ubuntu + macOS) #140: Pull request #7660 synchronize by tsnl
May 26, 2025 03:33 19m 21s tsnl:master
tsnl:master
May 26, 2025 03:33 19m 21s
Bazel: expose z3_static target for working macOS, win32 builds OCaml Binding CI (Ubuntu + macOS) #139: Pull request #7660 synchronize by tsnl
May 26, 2025 03:32 Action required tsnl:master
tsnl:master
May 26, 2025 03:32 Action required
Bazel: expose z3_static target for working macOS, win32 builds OCaml Binding CI (Ubuntu + macOS) #138: Pull request #7660 synchronize by tsnl
May 26, 2025 03:28 Action required tsnl:master
tsnl:master
May 26, 2025 03:28 Action required
Bazel: expose z3_static target for working macOS, win32 builds OCaml Binding CI (Ubuntu + macOS) #137: Pull request #7660 synchronize by tsnl
May 26, 2025 03:13 Action required tsnl:master
tsnl:master
May 26, 2025 03:13 Action required
Bazel: expose z3_static target for working macOS, win32 builds OCaml Binding CI (Ubuntu + macOS) #136: Pull request #7660 synchronize by tsnl
May 26, 2025 03:09 Action required tsnl:master
tsnl:master
May 26, 2025 03:09 Action required
Bazel: expose z3_static target for working macOS, win32 builds OCaml Binding CI (Ubuntu + macOS) #135: Pull request #7660 synchronize by tsnl
May 26, 2025 03:07 Action required tsnl:master
tsnl:master
May 26, 2025 03:07 Action required
Bazel: expose z3_static target for working macOS, win32 builds OCaml Binding CI (Ubuntu + macOS) #134: Pull request #7660 opened by tsnl
May 26, 2025 03:04 Action required tsnl:master
tsnl:master
May 26, 2025 03:04 Action required
missing file OCaml Binding CI (Ubuntu + macOS) #132: Commit 80c553d pushed by NikolajBjorner
May 23, 2025 23:20 18m 38s master
master
May 23, 2025 23:20 18m 38s
v1 of a randomizer simplifier OCaml Binding CI (Ubuntu + macOS) #131: Commit 77fed8b pushed by NikolajBjorner
May 23, 2025 23:15 7m 24s master
master
May 23, 2025 23:15 7m 24s
for future ignoring genai files OCaml Binding CI (Ubuntu + macOS) #130: Commit 84a5303 pushed by NikolajBjorner
May 22, 2025 00:09 18m 51s master
master
May 22, 2025 00:09 18m 51s