Files
apache--tvm/python
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
..