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
@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
To get extra clarity, we could rename the current IntSet explicitly as
IntervalSet.
--
Reply to this email directly or view it on GitHub:
https://github.com/apache/tvm-rfcs/pull/99#issuecomment-1427900923
You are receiving this because you are subscribed to this thread.
Message ID:
Thank you for the proposal. There is a general tradeoff in terms between speed
of solving, generality of the solution, and extra capabilities(eg ability to
handle symbolic division/mod that may go beyond normal).
The current hyperbox based analysis was chosen because of its speed efficiency,
of
