psubotic/Abstract-Interpretation

Abstract Interpretation for floating point arithmetic