search

antoinemine / apron

Apron Numerical Abstract Domain Library
Other
114 stars 33 forks source link

fix interval division case #101

Closed antoinemine closed 9 months ago

antoinemine commented 9 months ago

Fix one case of the interval division: dividing a non-positive, non-negative interval by a negative interval.

Fixes bottom in linearization in #100.