1. 09 Jun, 2020 5 commits
  2. 05 Jun, 2020 2 commits
  3. 01 Jun, 2020 3 commits
  4. 30 May, 2020 2 commits
  5. 28 May, 2020 2 commits
  6. 27 May, 2020 1 commit
    • BOLDO Sylvie's avatar
      Additional results about · 28a74073
      BOLDO Sylvie authored
      - rounding to nearest, ties to zero
      - optimal error for FLT rounding: error_le_opt_FLT
      - a few lemmas about rounding to nearest
      28a74073
  7. 24 May, 2020 5 commits
  8. 23 May, 2020 4 commits
  9. 22 May, 2020 8 commits
  10. 20 May, 2020 4 commits
  11. 19 May, 2020 2 commits
  12. 18 May, 2020 2 commits