Skip to content

feat: port the mvcgen' tactic to the new Std.Internal.Do meta theory#14015

Merged
sgraf812 merged 8 commits into
masterfrom
sg/mvcgen-new-meta-theory
Jun 16, 2026
Merged

feat: port the mvcgen' tactic to the new Std.Internal.Do meta theory#14015
sgraf812 merged 8 commits into
masterfrom
sg/mvcgen-new-meta-theory

refactor: consolidate `SolveResult` no-progress cases into `stop`

af52cf1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar