On Wed, Aug 07, 2013 at 04:43:33PM +0200, Christoph Spiel wrote:
> Back then someone (probably more knowledgeable)
> convinced me that folding floats and doubles
> involves all kinds of non-portability issues,
> and therefore is potentially dangerous.
Oh, having supervised the "Floating-Point Comp
On Wed, Aug 07, 2013 at 07:13:18AM +0100, Gabriel Kerneis wrote:
> No, the conversion basically calls Cil.constFold which fails on anything but
> ints and enums.
Once upon a long ago (~10y) we already
had this discussion with respect to the
`Partial' module.
Back then someone (probably mo
