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

..

Conversion

…

Debug

[mlir] expose -debug-only equivalent to C and Python (#93175)

2024-05-24 23:15:18 +02:00

Dialect

[MLIR][LLVM] add metadata attrs and llvm.named_metadata op (#186703)

2026-03-16 16:33:53 -07:00

ExecutionEngine

[mlir][ExecutionEngine] Remove stderr printing when propagating errors (#171997)

2025-12-14 19:46:13 -08:00

Interfaces

[MLIR][Python] Impl XOpInterface(s) from Python, with X=Transform and X=MemoryEffects (#176920)

2026-02-12 14:07:10 +00:00

IR

[mlir][IR] Rename DenseIntOrFPElementsAttr to DenseTypedElementsAttr (#185687)

2026-03-13 17:27:23 +01:00

RegisterEverything

[mlir] Reland Move InitAll*** implementation into static library (#151150)

2025-07-29 18:15:33 +03:00

Target

[MLIR][Python] Add optional emit reset to exportSMTLIB (#187366)

2026-03-18 16:10:07 -04:00

Transforms

[MLIR][Python][Transform] Expose PatternDescriptorOpInterface to Python (#184331)

2026-03-04 10:19:59 +00:00

CMakeLists.txt

…