int_set.cc
15.7 KB
-
[ARITH] Add CombineInterval<Div> in IntSet (#48) · 3555769e* [FIX] add CombineInterval<Div> * fix error message and add comment about rounding * fix comment
Ziheng Jiang committed
* [FIX] add CombineInterval<Div> * fix error message and add comment about rounding * fix comment