Skip to content

feat(docs): fix Windows bundled-z3 build command in CONTRIBUTING.md - #3141

Merged
drew merged 3 commits into
mainfrom
docs/fix-3062-bundled-z3-cli-command
Sep 3, 2026
Merged

feat(docs): fix Windows bundled-z3 build command in CONTRIBUTING.md#3141
drew merged 3 commits into
mainfrom
docs/fix-3062-bundled-z3-cli-command

docs: drop unneeded LIBCLANG_PATH from prover-only Windows build

02193da
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar