llvm-project
3b2233ac - [MLIR][Python][SMT] Expose TypeIds for SMT Types (#181719)

Commit

74 days ago

[MLIR][Python][SMT] Expose TypeIds for SMT Types (#181719) Enables, among other things, the registration of type casters.

References

Author

Rolf Morel

Parents