1. 02 Jun, 2020 1 commit
  2. 01 Jun, 2020 3 commits
  3. 30 May, 2020 2 commits
  4. 28 May, 2020 2 commits
  5. 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
  6. 24 May, 2020 5 commits
  7. 23 May, 2020 4 commits
  8. 22 May, 2020 8 commits
  9. 20 May, 2020 4 commits
  10. 19 May, 2020 2 commits
  11. 18 May, 2020 4 commits
  12. 12 May, 2020 2 commits
  13. 04 Apr, 2020 2 commits