mirror of https://github.com/llvm/llvm-project.git synced 2025-04-17 05:36:41 +00:00

History

Maksim Levental de67293c09

[mlir][SMT] upstream SMT dialect (#131480 )

This PR upstreams the `SMT` dialect from the CIRCT project. Here we only
check in the dialect/op/types/attributes and lit tests. Follow up PRs
will add conversions in and out and etc.

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>

2025-04-11 17:10:09 -04:00

benchmark/python

…

cmake/modules

[mlir] NFC: fix typos and improve commentary regarding generation of MLIRConfig.cmake (#127712 )

2025-02-24 15:10:06 -07:00

docs

[mlir][LLVM] Delete getFixedVectorType and getScalableVectorType (#135051 )

2025-04-10 10:36:21 +02:00

examples

[mlir] implement -verify-diagnostics=only-expected (#135131 )

2025-04-10 18:50:00 -04:00