| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
[mlir][SMT] C APIs (#135501) This PR upstreams/adds the C APIs for SMT dialect (from CIRCT). --------- Co-authored-by: Bea Healy <beahealy22@gmail.com> Co-authored-by: Martin Erhart <maerhart@outlook.com> Co-authored-by: Mike Urbach <mikeurbach@gmail.com> Co-authored-by: Will Dietz <will.dietz@sifive.com> Co-authored-by: fzi-hielscher <hielscher@fzi.de> Co-authored-by: Fehr Mathieu <mathieu.fehr@gmail.com> Co-authored-by: Clo91eaf <Clo91eaf@qq.com> | 1 年前 | |
[mlir][SMT] add python bindings (#135674) This PR adds "rich" python bindings to SMT dialect. | 1 年前 | |
[MLIR][Python] expose translate_module_to_llvmir (#163881) This PR exposes translate_module_to_llvmir in the Python bindings. | 9 个月前 |
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
| 1 年前 | ||
| 1 年前 | ||
| 9 个月前 |