Skip to content
Snippets Groups Projects
  1. Feb 03, 2018
    • Raymond Toy's avatar
      Add test for issue #59. · 62c5f3e9
      Raymond Toy authored
      62c5f3e9
    • Raymond Toy's avatar
      Fix #59: type derivation for decode-float exponent · 3acdd1b7
      Raymond Toy authored
      Type derivation for exponent part of decode-float was incorrect.  We
      need to take the absolute value of the argument before deriving the
      type since the exponent is, of course, independent of the sign of the
      number.  In the test case, the negative interval caused the lower and
      upper bounds to be reversed, resulting in an invalid interval.
      3acdd1b7
  2. Jan 30, 2018
  3. Jan 29, 2018
  4. Jan 28, 2018
  5. Jan 27, 2018
  6. Jan 24, 2018
  7. Jan 21, 2018
  8. Jan 13, 2018
  9. Dec 29, 2017
  10. Dec 28, 2017
  11. Dec 27, 2017
Loading