-
Heiko Becker authored
Refactor error computation in semantics into separate function/Proposition to be able to differentiate between truncation and rounding-to-nearest error.
da70f298
Refactor error computation in semantics into separate function/Proposition to be able to differentiate between truncation and rounding-to-nearest error.