@tqchen Thanks for you recommendation. Agree with the efficiency risk and it's
now updated. Could you take another look?
--
Reply to this email directly or view it on GitHub:
https://github.com/apache/tvm-rfcs/pull/99#issuecomment-1429299079
You are receiving this because you are subscribed to t
### This issue is to track progress for RFC#99: [Introduce
PresburgerSet](https://github.com/apache/tvm-rfcs/pull/99)
- [ ] P1. Build & CI setup, PresburgerSet class with minimal member functions.
- [ ] P2. Basic set manipulation functions.
- [ ] P3. Dependency analysis utilities.
- [ ] P4. Helper
>
> I very much like the proposed improvements, especially the use cases for
> inner-block and inter-block analysis. While I have made some development [for
> similar
> applications](https://github.com/apache/tvm/blob/main/src/tir/analysis/control_flow_graph.h),
> the additional formalism a
