Skip to content

relalg (D-RA-1): relational IR rewritten before it runs, lowered through R2IL — a D-CMR prototype - #1546

Merged
AdaWorldAPI merged 4 commits into
mainfrom
ccr-9f3b8075-74u47l-relalg
Oct 14, 2026
Merged

AdaWorldAPI merged 4 commits into
mainfrom
ccr-9f3b8075-74u47l-relalg

Commits

  1. Commits on Oct 13, 2026