Repository navigation

vcl-ut #25 P5a: trusted Rust/SPARK-grade String->Statement parser - #26

Merged

hyperpolymath merged 3 commits into

mainfrom

reinforce/vclut-25-phase5a-rust-parser

May 19, 2026

Merged

vcl-ut #25 P5a: trusted Rust/SPARK-grade String->Statement parser#26
hyperpolymath merged 3 commits into
mainfrom
reinforce/vclut-25-phase5a-rust-parser

Commits on May 19, 2026
- vcl-ut #25 P5a: trusted Rust/SPARK-grade String->Statement parser
  
  hyperpolymath
  and
  claude
  committed
  a51e4f8
- vcl-ut #25 P5a: lock vcltotal-parse deps (proptest) for deterministic CI
  
  hyperpolymath
  and
  claude
  committed
  2ecb660
- vcl-ut #25 P5a: make vcltotal-parse a standalone workspace (CI isolation)
  
  hyperpolymath
  and
  claude
  committed
  598df32