Repository navigation

Adopt Z3 releases only through a gate in CI; keep 4.13.4 for 0.2 - #135

Open

SwayamInSync wants to merge 10 commits into

mainfrom

Open

Adopt Z3 releases only through a gate in CI; keep 4.13.4 for 0.2#135
SwayamInSync wants to merge 10 commits into
mainfrom
ci/z3-gate

Commits on Oct 29, 2026
- ci: Add the sequence benchmark of the Z3 gate.
  SwayamInSync
  committed
  057980b
- ci: Add the verdict differential of the Z3 gate.
  SwayamInSync
  committed
  9f84cd4
- ci: Add the Z3 gate, judged as the verifier uses each encoding.
  SwayamInSync
  committed
  b8c7a3c
- ci: Run the Z3 gate every week for Z3's newest release.
  SwayamInSync
  committed
  195e691
- docs: Describe upgrading Z3 through the gate.
  SwayamInSync
  committed
  49ce0c2
- docs: Describe the Z3 gate in ARCHITECTURE.md.
  SwayamInSync
  committed
  1ad247b
- docs: Add the Z3 gate and its verdict on 5.3.2 to the release notes.
  SwayamInSync
  committed
  ab0d339
- ci: Pass the candidate Z3 tag to the shell through the environment.
  SwayamInSync
  committed
  38a8c16
- Merge main into ci/z3-gate.
  SwayamInSync
  committed
  2379201
- Merge remote-tracking branch 'origin/main' into ci/z3-gate
  SwayamInSync
  committed
  557bd90