Floating point simplification for goto-analyzer constants domain#2081

Merged

chrisr-diffblue merged 3 commits intodiffblue:developfrom hannes-steffenhagen-diffblue:floating_point_simplificiation

May 17, 2018

+188-35

Commits on May 17, 2018

Move adjust_float_expressions to goto-programs
hannes-steffenhagen-diffblue
committed
Add float support to constant propagator domain
hannes-steffenhagen-diffblue
committed
Try all rounding modes when domain is unknown
hannes-steffenhagen-diffblue
committed