llvm-project

mirror of https://github.com/llvm/llvm-project.git synced 2025-04-16 06:36:29 +00:00

History

Maksim Levental 9deb08a301

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>

2025-04-14 15:37:14 -04:00

Bindings/Python

[mlir] Add PDL C & Python usage (#94714 )

2024-06-11 07:45:12 -07:00

Dialect

[mlir][SMT] C APIs (#135501 )

2025-04-14 15:37:14 -04:00

Target

[mlir][SMT] C APIs (#135501 )

2025-04-14 15:37:14 -04:00

AffineExpr.h

[mlir] Expose simplifyAffineExpr through python api (#133926 )