ANSI-C: Floating-point constant folding#2584

Merged

kroening merged 2 commits intodevelopfrom

fp-constant-folding

Jul 19, 2018

Commits on Jul 17, 2018

adjust_float_expressions can now take a rounding mode argument
Daniel Kroening
committed

Commits on Jul 18, 2018

C front-end: constant folding for floating-point
Daniel Kroening
committed