The GitHub Actions job "Lint" on tvm.git/analyzer-ffi-object has failed. Run started by GitHub user Ubospica (triggered by Ubospica).
Head commit for run: b58d406c19463fbc855b0abc91a374d74552f46f / 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/27116750637 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
