Skip to content

Actions: Z3Prover/z3

Actions

MSVC Clang-CL Static Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msvc-static-build-clang-cl.yml
1,012 workflow runs
1,012 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Centralize and document TRACE tags using X-macros MSVC Clang-CL Static Build #1098: 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… MSVC Clang-CL Static Build #1097: Commit d766292 pushed by NikolajBjorner
May 27, 2025 17:03 27m 57s master
master
May 27, 2025 17:03 27m 57s
Fix setup_relevancy for relevancy-dependent case split strategies (#7… MSVC Clang-CL Static Build #1096: Commit b44c897 pushed by NikolajBjorner
May 27, 2025 15:52 26m 43s master
master
May 27, 2025 15:52 26m 43s
Centralize and document TRACE tags using X-macros MSVC Clang-CL Static Build #1095: Pull request #7657 synchronize by IamYJLee
May 27, 2025 01:09 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 27, 2025 01:09 Action required
Centralize and document TRACE tags using X-macros MSVC Clang-CL Static Build #1094: 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 MSVC Clang-CL Static Build #1093: 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 MSVC Clang-CL Static Build #1091: 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 MSVC Clang-CL Static Build #1090: 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 MSVC Clang-CL Static Build #1089: Pull request #7660 synchronize by tsnl
May 26, 2025 03:33 25m 7s tsnl:master
tsnl:master
May 26, 2025 03:33 25m 7s
Bazel: expose z3_static target for working macOS, win32 builds MSVC Clang-CL Static Build #1088: 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 MSVC Clang-CL Static Build #1087: 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 MSVC Clang-CL Static Build #1086: 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 MSVC Clang-CL Static Build #1085: 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 MSVC Clang-CL Static Build #1084: 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 MSVC Clang-CL Static Build #1083: 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 MSVC Clang-CL Static Build #1082: 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 MSVC Clang-CL Static Build #1081: Commit 80c553d pushed by NikolajBjorner
May 23, 2025 23:20 26m 2s master
master
May 23, 2025 23:20 26m 2s
v1 of a randomizer simplifier MSVC Clang-CL Static Build #1080: Commit 77fed8b pushed by NikolajBjorner
May 23, 2025 23:15 1m 11s master
master
May 23, 2025 23:15 1m 11s
for future ignoring genai files MSVC Clang-CL Static Build #1079: Commit 84a5303 pushed by NikolajBjorner
May 22, 2025 00:09 27m 1s master
master
May 22, 2025 00:09 27m 1s
remove quotes from arguments to TRACE MSVC Clang-CL Static Build #1078: Commit 805d579 pushed by NikolajBjorner
May 21, 2025 23:44 1m 16s master
master
May 21, 2025 23:44 1m 16s
Centralize and document TRACE tags using X-macros MSVC Clang-CL Static Build #1077: 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 MSVC Clang-CL Static Build #1076: 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 MSVC Clang-CL Static Build #1075: Commit 85e7243 pushed by NikolajBjorner
May 20, 2025 21:22 27m 21s master
master
May 20, 2025 21:22 27m 21s
Fixed UP expression registration MSVC Clang-CL Static Build #1074: Pull request #7656 synchronize by CEisenhofer
May 20, 2025 13:46 26m 3s CEisenhofer:master
CEisenhofer:master
May 20, 2025 13:46 26m 3s
Fixed UP expression registration MSVC Clang-CL Static Build #1073: Pull request #7656 opened by CEisenhofer
May 19, 2025 12:08 25m 41s CEisenhofer:master
CEisenhofer:master
May 19, 2025 12:08 25m 41s