Adapt numerical domains for supporting reals
caballa opened this issue · 1 comments
caballa commented
From @caballa on October 15, 2016 23:18
For intervals and zones, we need at least:
- make sure rounding is correct (e.g., if upper bounds towards +oo, etc)
- make sure division is correct
- etc.
Copied from original issue: caballa/crab#4
caballa commented
Apron and Elina domains should work correctly using reals