Skip to content

Implement the Echo Target IR semantic verifier#673

Merged
flyingrobots merged 17 commits into
mainfrom
provider/654-semantic-verifier
Jul 16, 2026
Merged

Implement the Echo Target IR semantic verifier#673
flyingrobots merged 17 commits into
mainfrom
provider/654-semantic-verifier

Bind lowerer checks to approved identity

29d177f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar