add-dialect
Maokami/mlir-semGuide through adding a new MLIR dialect with syntax, semantics, tests, and documentation. Use when the user wants to add support for a new MLIR dialect (e.g., arith, scf, memref) to the formal semantics framework.
0 stars
0 forks
2 views