Skip to content

Fixes Verification of Multiplication by -1

  • Fixes incorrect checks for underflow and overflow during division.
  • Fixed the FloatingPoint equality test assuming the difference between two values would be positive, causing the check to fail.
  • Renamed the members in FloatingPointParts to use their mathematical terms.
  • Adjusted compiler options to be more strict.
  • Adjusted how needs are written.

Closes #13 (closed)

Merge request reports