Re: [apache/tvm-rfcs] [RFC] Introduce PresburgerSet (PR #99)

2023-02-14 Thread Siyuan Feng
Let's keep it open for one week for enough visibility 😄 -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm-rfcs/pull/99#issuecomment-1430702535 You are receiving this because you are subscribed to this thread. Message ID:

Re: [apache/tvm-rfcs] [RFC] Improve representation of IntSet. (PR #99)

2023-02-14 Thread Tianqi Chen
Thank you @multiverstack-intellif i think it is a good starting pt. We can iterate on APIs and other things as we start improving the overall toolset -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm-rfcs/pull/99#issuecomment-1429744018 You are receiving this be

Re: [apache/tvm-rfcs] [RFC] Improve representation of IntSet. (PR #99)

2023-02-14 Thread multiverstack
@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