3 Commits

Author	SHA1	Message	Date
RattataKing	5a5c3176ef	[MLIR][Python] Add optional emit reset to exportSMTLIB (#187366) ... Previously, the MLIR's python binding `smt.export_smtlib(...)` always emit `(reset)` to the end of smtlib string as a solver terminator. This PR added an option to suppress this trailing, as downstream users like python z3 module don't need it.	2026-03-18 16:10:07 -04:00
Maksim Levental	697aa9995c	[mlir][SMT] add python bindings (#135674) ... This PR adds "rich" python bindings to SMT dialect.	2025-04-16 18:17:09 -04:00
Maksim Levental	9deb08a301	[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>	2025-04-14 15:37:14 -04:00