llvm-project

shylie/llvm-project

Fork 0

Commit Graph

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
Kazu Hirata	38b8ef16f7	[mlir] Remove unused includes (NFC) (#147158 ) These are identified by misc-include-cleaner. I've filtered out those that break builds. Also, I'm staying away from llvm-config.h, config.h, and Compiler.h, which likely cause platform- or compiler-specific build failures.	2025-07-05 10:38:27 -07:00
Maksim Levental	acf964b95f	[mlir][SMT] add export smtlib (#131492 ) This PR adds the `ExportSMTLIB` translation/egress pass for `SMT` dialect.	2025-04-12 16:39:16 -04:00

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

Kazu Hirata

38b8ef16f7

[mlir] Remove unused includes (NFC) (#147158 )

These are identified by misc-include-cleaner.  I've filtered out those
that break builds.  Also, I'm staying away from llvm-config.h,
config.h, and Compiler.h, which likely cause platform- or
compiler-specific build failures.

2025-07-05 10:38:27 -07:00

Maksim Levental

acf964b95f

[mlir][SMT] add export smtlib (#131492 )

This PR adds the `ExportSMTLIB` translation/egress pass for `SMT`
dialect.

2025-04-12 16:39:16 -04:00

3 Commits