The GitHub Actions job "Lint" on tvm.git/analyzer-ffi-object has succeeded. Run started by GitHub user Ubospica (triggered by Ubospica).
Head commit for run: 55a61993b1682e47c55aaa19a389fb0d8a06997f / Ubospica <[email protected]> [Arith] Expose more Analyzer methods, reuse a shared analyzer, and add tests Now that arith::Analyzer is a tvm-ffi object, expose more of its stateful surface to Python and let callers share a single analyzer across FFI calls so accumulated bindings and constraints persist. - Analyzer: add try_compare/CompareResult, int_set over already-bound domains, update for ModularSet/IntSet, and set_maximum_rewrite_steps. - Accept an optional analyzer in estimate_region_*, detect_iter_map, normalize_to_iter_sum, iter_map_simplify, subspace_divide, and IndexMap.is_equivalent_to. - Simplify mapped range extents in IndexMapNode::MapRanges with the analyzer. Signed-off-by: Ubospica <[email protected]> Report URL: https://github.com/apache/tvm/actions/runs/27116934966 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
