Skip to content

[spectec] Clean up IL semantics and elaborator#2056

Merged
rossberg merged 36 commits into
mainfrom
deptup
Feb 12, 2026
Merged

[spectec] Clean up IL semantics and elaborator#2056
rossberg merged 36 commits into
mainfrom
deptup

Commits

Commits on Oct 30, 2025

Commits on Nov 2, 2025

Commits on Nov 18, 2025

Commits on Dec 2, 2025

Commits on Dec 3, 2025

Commits on Jan 13, 2026

Commits on Jan 18, 2026

Commits on Jan 19, 2026

Commits on Jan 20, 2026

Commits on Jan 26, 2026

Commits on Feb 3, 2026

Commits on Feb 9, 2026

Commits on Feb 10, 2026

Commits on Feb 12, 2026