A stable version of intent formalization for AutoCLRS #19

Open

shuvendu-lahiri wants to merge 37 commits intomicrosoft:mainfrom

shuvendu-lahiri:intree-spec-tests

Commits on Mar 12, 2026

Remove stale SPEC_AUDIT_REPORT.md from eval-autoclrs-specs

shuvendu-lahiri
and
Copilot
committed
Add Appendix B completeness proofs for InsertionSort

shuvendu-lahiri
and
Copilot
committed
Consolidate InsertionSort: Appendix B completeness proofs replace @expect_failure

shuvendu-lahiri
and
Copilot
committed

Commits on Mar 13, 2026

Commits on Mar 14, 2026

Fix TopologicalSort to call Pulse impl; add PATTERNS.md reference

shuvendu-lahiri
and
Copilot
committed

Commits on Mar 15, 2026

Commits on Mar 16, 2026