Repository navigation

docs(formal-verification): keccak z3/QF-BV gate — the verification baseline - #923

Open

MauroToscano wants to merge 6 commits into

mainfrom

docs-keccak-formal-verification-baseline

Open

docs(formal-verification): keccak z3/QF-BV gate — the verification baseline#923
MauroToscano wants to merge 6 commits into
mainfrom
docs-keccak-formal-verification-baseline

Commits on Aug 10, 2026
- docs(formal-verification): keccak z3/QF-BV gate — the verification baseline
  MauroToscano
  committed
  53c3c5e
Commits on Aug 11, 2026
- refactor(formal-verification): move the keccak gate to top-level formal_verification/
  MauroToscano
  committed
  76ea1e1
- feat(loc): report formal_verification/ lines as a standalone section
  MauroToscano
  committed
  cea5474
Commits on Aug 13, 2026