Test floating point expressions
- Jan 14, 2024
-
-
Sven Tennie authoredFloating point values may have different bit patterns, but mean the same (e.g. NaN.)
-
- Jan 11, 2024
-
-
Sven Tennie authored
Evaluate all sub-expressions of an expression with GHC and the custom interpreter. Draw the tree of sub-expressions with their results. This is useful to compare evaluations up to errors.
-
- Dec 14, 2023
-
-
Sven Tennie authored
-
Sven Tennie authored
Generate floating point arguments and return values.
-
Sven Tennie authored259b2f6f
-
Sven Tennie authored
Ensure that only valid expressions can be created.
a5ba0909 -
Sven Tennie authoredbde4cd7f
-
Sven Tennie authored
It's not enough to ensure that one operand of the devision isn't maxBound. Do the more obvious approach instead: Calculate the result and check if it fits into the width.
d2d7b9c1 -
Sven Tennie authoredbc8e446a
-
Sven Tennie authored
Emit floating point expressions and adjust Parser to deal with them.
de495e9f -
Sven Tennie authored415a20c5
-
Sven Tennie authored91e5acdd
-
- Nov 17, 2023
-
-
Sven Tennie authored
prop_roundtrips is really quick and ensures that the Show instance of Expr and the parser are aligned.
b3c8f877
-