Eric Lunderberg 83672c65c7 [Analysis] Exposed Analyzer::CanProveEqual to Python API (#11102) ...

* [Analysis] Exposed Analyzer::CanProveEqual to Python API

Checking for `analyizer.simplify(lhs-rhs) == 0` was a frequent pattern
in Python unit tests, and already had a utility function in the C++
public API.  Exposing this utility function to Python allowed this
pattern to be cleaned up.

* Replaced more cases of .simplify with .can_prove_equal

2022-04-23 07:00:10 +09:00

..

__init__.py

[TVMScript] Add for loop syntax sugar (#9620)

2021-12-07 19:19:47 -05:00

_ffi_api.py

[TIR] Use PopenPool instead of multiprocessing.pool (#8492)

2021-08-12 13:35:04 -07:00

auto_scheduler.py

[TIR] Use PopenPool instead of multiprocessing.pool (#8492)

2021-08-12 13:35:04 -07:00

autotvm.py

[AutoTVM] Use popenpool in local_executor (#8851)

2021-09-08 13:08:15 -04:00

plugin.py

[Topi] Cortex-M DSP support (#9233)

2021-11-15 09:41:18 -08:00

popen_pool.py

[AutoTVM] Use popenpool in local_executor (#8851)

2021-09-08 13:08:15 -04:00

tir.py

[AOT] Support LLVM backend with C++ runtime (#10753)

2022-04-18 18:44:46 -07:00

utils.py

[Analysis] Exposed Analyzer::CanProveEqual to Python API (#11102)

2022-04-23 07:00:10 +09:00