On Sunday, 30 September 2012 at 20:47:41 UTC, jerro wrote:
I don't really agree with that. floating point operations are
just inexact, regardless of optimizations. That's how they
work, period.
It is true that they are inexact, but inexact and
non-deterministic are not the same thing. Floating point
operations are deterministic.
Technically (AFAIK), IEEE754 does need require reproducibility,
ergo determinism.
You can open an ER requesting the ability to specify the FP
behavior want (like rounding behavior), the way vstudio does it.