This is an automated email from the ASF dual-hosted git repository.
github-actions[bot] pushed a change to branch nightly
in repository https://gitbox.apache.org/repos/asf/tvm.git
from ddfec9c3d6 [Tests] Remove the now-unused tvm.testing.parameters()
helper (#19807)
add 23d9c24dba [Tests] Drop tautological env-probe implication tests
(#19811)
add 246e290267 [Relax][TensorRT] Update BYOC operator converters from
Relay to Relax (#19810)
add 29408e03c6 [FIX][TIRX] Fix dangling Op static reference warning
(#19806)
add 39535048b6 [Relax][Frontend][TFLite] Add RFFT2D op and supporting TIR
kernels (#19812)
add 52622baa30 [BUILD] Hide static linked library symbols in shared libs
(#19817)
add 347c1fd4ca Preserve ONNX BatchNormalization inference mode (#19818)
add 2fc8e9baa1 [CI] Drop redundant conda LLVM install in GH Actions build
(#19823)
add 244499a4cd [Tests] Inline thin gating helpers in the pytest plugin and
tvm.testing.env (#19819)
add d321035443 [Relax][Frontend][NN] Fix SourceModule include resolution
for installed wheels (#19822)
add e7b87fe6fc [ARITH] Add optional Z3-backed proving to Analyzer (#19667)
add 0bc3a6fa5f [Relax][Frontend][TFLite] Add missing TFLite operator
mappings (#19813)
No new revisions were added by this update.
Summary of changes:
.github/workflows/main.yml | 8 -
3rdparty/tvm-ffi | 2 +-
CMakeLists.txt | 13 +-
cmake/modules/LLVM.cmake | 13 +
cmake/modules/contrib/Z3.cmake | 93 +++
cmake/utils/Library.cmake | 21 +
include/tvm/arith/analyzer.h | 130 +++-
include/tvm/tirx/op.h | 4 +-
pyproject.toml | 9 +-
python/tvm/arith/analyzer.py | 89 ++-
python/tvm/relax/frontend/nn/extern.py | 13 +-
python/tvm/relax/frontend/onnx/onnx_frontend.py | 2 +-
.../tvm/relax/frontend/tflite/tflite_frontend.py | 562 +++++++++++++-
python/tvm/testing/env.py | 79 +-
python/tvm/testing/plugin.py | 55 +-
src/arith/analyzer.cc | 28 +-
src/arith/z3_prover.cc | 864 +++++++++++++++++++++
src/relax/backend/contrib/tensorrt/codegen.cc | 104 ++-
.../extra/contrib/tensorrt/tensorrt_builder.cc | 2 +
.../extra/contrib/tensorrt/tensorrt_logger.h | 10 +
src/runtime/extra/contrib/tensorrt/tensorrt_ops.cc | 163 ++--
.../extra/contrib/tensorrt/tensorrt_runtime.cc | 7 +-
tests/python/arith/test_arith_z3.py | 756 ++++++++++++++++++
tests/python/contrib/test_cutlass_gemm.py | 8 +-
tests/python/nightly/test_nnapi/test_network.py | 2 +-
tests/python/relax/test_codegen_cutlass.py | 2 +-
tests/python/relax/test_codegen_tensorrt.py | 284 ++++++-
tests/python/relax/test_frontend_onnx.py | 32 +
tests/python/relax/test_frontend_tflite.py | 597 ++++++++++++++
tests/python/relax/texture/test_texture_nd.py | 2 +-
tests/python/runtime/test_runtime_rpc.py | 34 +-
tests/python/target/test_arm_target.py | 8 +-
tests/python/testing/test_env.py | 60 --
tests/python/testing/test_tvm_testing_features.py | 21 +
34 files changed, 3756 insertions(+), 321 deletions(-)
create mode 100644 cmake/modules/contrib/Z3.cmake
create mode 100644 src/arith/z3_prover.cc
create mode 100644 tests/python/arith/test_arith_z3.py
