-
As many computations as possible are now performed in Why3, so that the parameters of the "fixed" rounding operator are literals once sent to Gappa.
e2c99a74
As many computations as possible are now performed in Why3, so that the parameters of the "fixed" rounding operator are literals once sent to Gappa.