| Age | Commit message (Collapse) | Author |
|
This PR exposes `translate_module_to_llvmir` in the Python bindings.
|
|
This PR adds "rich" python bindings to SMT dialect.
|
|
This PR upstreams/adds the C APIs for SMT dialect (from CIRCT).
---------
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>
Co-authored-by: Clo91eaf <Clo91eaf@qq.com>
|
|
|
|
This reverts commit 7ae964c55b0a2b8dccf076ced9f1ffa8d5487eca.
Revert "[mlir] Fix warnings"
This reverts commit 0e43b9547d56762d29de9a99c998e7939417a1f3.
|
|
This patch fixes:
mlir/lib/CAPI/Target/LLVMIR.cpp:38:63: error: extra ';' outside of a
function is incompatible with C++98
[-Werror,-Wc++98-compat-extra-semi]
mlir/lib/CAPI/Target/LLVMIR.cpp:60:61: error: extra ';' outside of a
function is incompatible with C++98
[-Werror,-Wc++98-compat-extra-semi]
|
|
|
|
(#73751)
Co-authored-by: Edgar <git@edgarluque.com>
|
|
Still breaks
https://lab.llvm.org/buildbot/#/builders/5/builds/38743/steps/9/logs/stdio
There is some info on how to reproduce
https://github.com/google/sanitizers/wiki/SanitizerBotReproduceBuild
This reverts commit 523160555925ff451e7c6d213a377d191e514805.
|
|
The test was checking something unrelated to what it controlled so it
failed after that part changed, i removed that.
See https://github.com/llvm/llvm-project/pull/73117
|
|
Breaks https://lab.llvm.org/buildbot/#/builders/5/builds/38700
This reverts commit c43c88501e3bc273a7c1074a19e86dc305ad7234.
|
|
Fixes #73008
|