test: add `mvcgen' with <tac>` and `mvcgen' with grind` to sym-based VCGen#12893

Merged

sgraf812 merged 8 commits intomasterfrom

mvcgen-with-grind

Mar 24, 2026

Commits on Mar 11, 2026

feat: add `mvcgen' with <tac>` and `mvcgen' with grind` to sym-based VCGen

sgraf812
and
claude
committed

Commits on Mar 13, 2026

refactor: reuse `Grind.withProtectedMCtx` in sym VCGen `emitVC`

sgraf812
and
claude
committed
Merge remote-tracking branch 'origin/master' into mvcgen-with-grind
sgraf812
committed

Commits on Mar 14, 2026

perf: add persistent Sym.Simp cache and reassocNatAdd simproc to `mvcgen' with grind`

sgraf812
and
claude
committed