Skip to content

[Arith] Fix detect non-divisible iteration form like (x % 255) // 16#15665

Merged
Hzfengsy merged 2 commits into
apache:mainfrom
wrongtest-intellif:fix_one_nondivisible_iter_case
Sep 18, 2023
Merged

[Arith] Fix detect non-divisible iteration form like (x % 255) // 16#15665
Hzfengsy merged 2 commits into
apache:mainfrom
wrongtest-intellif:fix_one_nondivisible_iter_case

add required rule to prove divisibility of dynamic shape

6c47e0e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs