summaryrefslogtreecommitdiff
path: root/docs/design/ir.md
AgeCommit message (Expand)Author
2024-06-10Fix typos in the docs (#4322)Anders Leino
2023-02-16Overhaul global inst deduplication and cpp/cuda backend. (#2654)Yong He
2018-12-06Add more design documents (#742)Tim Foley