Skip to content

Actions: Z3Prover/z3

Actions

OCaml Binding CI (Ubuntu)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yaml
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Centralize and document TRACE tags using X-macros OCaml Binding CI (Ubuntu) #154: Pull request #7657 synchronize by IamYJLee
May 28, 2025 00:16 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 28, 2025 00:16 Action required
add seed parameter, fix trail undo order from insertion to ensure lif… OCaml Binding CI (Ubuntu) #153: Commit d766292 pushed by NikolajBjorner
May 27, 2025 17:03 22m 57s master
master
May 27, 2025 17:03 22m 57s
Fix setup_relevancy for relevancy-dependent case split strategies (#7… OCaml Binding CI (Ubuntu) #152: Commit b44c897 pushed by NikolajBjorner
May 27, 2025 15:52 22m 39s master
master
May 27, 2025 15:52 22m 39s
Centralize and document TRACE tags using X-macros OCaml Binding CI (Ubuntu) #151: Pull request #7657 synchronize by IamYJLee
May 27, 2025 01:09 -1s IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 27, 2025 01:09 -1s
Centralize and document TRACE tags using X-macros OCaml Binding CI (Ubuntu) #150: 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
Centralize and document TRACE tags using X-macros OCaml Binding CI (Ubuntu) #149: Pull request #7657 synchronize by IamYJLee
May 27, 2025 00:44 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 27, 2025 00:44 Action required
Centralize and document TRACE tags using X-macros OCaml Binding CI (Ubuntu) #147: Pull request #7657 synchronize by IamYJLee
May 26, 2025 04:36 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 26, 2025 04:36 Action required
Centralize and document TRACE tags using X-macros OCaml Binding CI (Ubuntu) #146: Pull request #7657 synchronize by IamYJLee
May 26, 2025 04:03 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 26, 2025 04:03 Action required
Bazel: expose z3_static target for working macOS, win32 builds OCaml Binding CI (Ubuntu) #145: Pull request #7660 synchronize by tsnl
May 26, 2025 03:33 22m 35s tsnl:master
tsnl:master
May 26, 2025 03:33 22m 35s
Bazel: expose z3_static target for working macOS, win32 builds OCaml Binding CI (Ubuntu) #144: 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) #143: 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) #142: 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) #141: 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) #140: 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) #139: Pull request #7660 opened by tsnl
May 26, 2025 03:04 Action required tsnl:master
tsnl:master
May 26, 2025 03:04 Action required
Centralize and document TRACE tags using X-macros OCaml Binding CI (Ubuntu) #138: Pull request #7657 synchronize by IamYJLee
May 26, 2025 02:57 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 26, 2025 02:57 Action required
missing file OCaml Binding CI (Ubuntu) #137: Commit 80c553d pushed by NikolajBjorner
May 23, 2025 23:20 22m 20s master
master
May 23, 2025 23:20 22m 20s
v1 of a randomizer simplifier OCaml Binding CI (Ubuntu) #136: Commit 77fed8b pushed by NikolajBjorner
May 23, 2025 23:15 4m 45s master
master
May 23, 2025 23:15 4m 45s
for future ignoring genai files OCaml Binding CI (Ubuntu) #135: Commit 84a5303 pushed by NikolajBjorner
May 22, 2025 00:09 23m 24s master
master
May 22, 2025 00:09 23m 24s
remove quotes from arguments to TRACE OCaml Binding CI (Ubuntu) #134: Commit 805d579 pushed by NikolajBjorner
May 21, 2025 23:44 5m 21s master
master
May 21, 2025 23:44 5m 21s
Centralize and document TRACE tags using X-macros OCaml Binding CI (Ubuntu) #133: Pull request #7657 synchronize by IamYJLee
May 21, 2025 04:37 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 21, 2025 04:37 Action required
Centralize and document TRACE tags using X-macros OCaml Binding CI (Ubuntu) #132: Pull request #7657 opened by IamYJLee
May 21, 2025 02:24 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 21, 2025 02:24 Action required
update add-term to avoid duplicating fresh aux-expr OCaml Binding CI (Ubuntu) #131: Commit 85e7243 pushed by NikolajBjorner
May 20, 2025 21:22 22m 23s master
master
May 20, 2025 21:22 22m 23s
Fixed UP expression registration OCaml Binding CI (Ubuntu) #130: Pull request #7656 synchronize by CEisenhofer
May 20, 2025 13:46 22m 54s CEisenhofer:master
CEisenhofer:master
May 20, 2025 13:46 22m 54s
Fixed UP expression registration OCaml Binding CI (Ubuntu) #129: Pull request #7656 opened by CEisenhofer
May 19, 2025 12:08 22m 16s CEisenhofer:master
CEisenhofer:master
May 19, 2025 12:08 22m 16s