Repository navigation

2.0.0-rc.14: Lauren's d457567, a skill that brings formal verification back in line with the code - #34

Merged

chhoumann merged 2 commits into

mainfrom

Oct 19, 2026

Merged

2.0.0-rc.14: Lauren's d457567, a skill that brings formal verification back in line with the code#34
chhoumann merged 2 commits into
mainfrom
sync/d457567

Commits on Oct 19, 2026
- Sync Lauren's pstack to d457567 (#716)
  chhoumann
  committed
  fd3ed0d
- Release 2.0.0-rc.14: docs, notices, and manifests
  chhoumann
  committed
  a0eecdd