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

..

Analysis

[mlir][liveness] fix bugs in liveness analysis (#133416)

2025-04-02 11:56:13 +08:00

Bytecode

[MLIR] print/parse resource handle key quoted and escaped (#119746)

2025-02-04 13:49:15 -07:00

CAPI

Fix printing of mlirUniformQuantizedSubChannelTypeGetNumBlockSizes in 32-bit machine. (#133763)

2025-03-31 16:45:43 -04:00

Conversion

[mlir][vector] Tighten the semantics of vector.{load|store} (#135151)

2025-04-11 20:08:08 +01:00

Dialect

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

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

Examples

[MLIR][Affine] Fix fusion in the presence of cyclic deps in source nests (#128397)

2025-02-25 11:24:31 +05:30

Integration

[mlir][vector] Tighten the semantics of vector.{load|store} (#135151)

2025-04-11 20:08:08 +01:00

Interfaces

[mlir][TilingInterface] Make tileAndFuseConsumerOfSlice take surrounding loops as an argument. (#132082)

2025-03-24 11:41:26 -07:00

IR

[MLIR] Ensure deterministic parallel verification (#134963)

2025-04-09 15:43:26 -07:00

lib

[mlir][bufferization] Drop the assumption for alloc result index (#134503)

2025-04-07 11:54:44 +03:00

mlir-linalg-ods-gen

…

mlir-lsp-server

…

mlir-opt

[MLIR][mlir-opt] move action debugger hook flag (#134842)

2025-04-08 16:54:11 +02:00

mlir-pdll

…

mlir-pdll-lsp-server

…

mlir-query

…

mlir-reduce

…

mlir-rewrite

[MLIR][BUILD] Fix Unicode build issue on Windows. (#112300)

2024-10-18 14:34:33 +08:00

mlir-runner

[MLIR][LLVMIR] Add support for the full form of global_{ctor,dtor} (#133176)

2025-03-27 14:11:05 -07:00

mlir-tblgen

[mlir][python] fix value-builder generation for snake_case ops (#135302)

2025-04-11 08:55:38 -04:00

mlir-translate

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

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

Pass

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

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

python

[mlir][python] fix value-builder generation for snake_case ops (#135302)

2025-04-11 08:55:38 -04:00

Rewrite

…

Target

[MLIR] Adding 'inline_hint' attribute on LLMV::CallOp (#134582)

2025-04-11 09:31:18 +02:00

tblgen-lsp-server

[TableGen] Do not exit in template argument check (#121636)

2025-01-06 21:06:17 +01:00

tblgen-to-irdl

[mlir][irdl] Introduce names in IRDL value lists (#123525)

2025-01-19 21:58:52 +01:00

Transforms

[mlir][inliner] Add doClone and canHandleMultipleBlocks callbacks to Inliner Config (#131226)

2025-04-05 22:56:55 +02:00

Unit

…

APITest.h

…

CMakeLists.txt

[mlir] Rename mlir-cpu-runner to mlir-runner (#123776)

2025-01-24 14:08:38 +01:00

get_darwin_real_python.py

[MLIR, Python] Make it easy to run tests with ASan on mac (#115524)

2024-11-23 01:34:03 +01:00

lit.cfg.py

Reland [mlir] Fix integration test when %host_cc path contains spaces (#128542)

2025-02-25 01:33:15 +03:00

lit.site.cfg.py.in

[mlir] Rename mlir-cpu-runner to mlir-runner (#123776)

2025-01-24 14:08:38 +01:00