Skip to content

ISyntaxCheck: build ATF equivalences from canonical qualified tycons#1051

Open
nanavati wants to merge 1 commit into
B-Lang-org:mainfrom
nanavati:atf-canonical-ids
Open

ISyntaxCheck: build ATF equivalences from canonical qualified tycons#1051
nanavati wants to merge 1 commit into
B-Lang-org:mainfrom
nanavati:atf-canonical-ids

Commits

Commits on Jul 15, 2026