llvm-project.git/mlir/lib/CAPI/Target/ExportSMTLIB.cpp, branch users/nico/python-2 Unnamed repository; edit this file 'description' to name the repository. [mlir][SMT] add python bindings (#135674) 2025-04-16T22:17:09+00:00 Maksim Levental maksim.levental@gmail.com 2025-04-16T22:17:09+00:00 697aa9995c24a977425e672d76a4a434384b16e3 This PR adds "rich" python bindings to SMT dialect. 
This PR adds "rich" python bindings to SMT dialect.
 [mlir][SMT] C APIs (#135501) 2025-04-14T19:37:14+00:00 Maksim Levental maksim.levental@gmail.com 2025-04-14T19:37:14+00:00 9deb08a30196b5b3b3883b5c7be8c4251039bde7 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> 
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>