1. 01 Oct, 2020 2 commits
  2. 09 Jun, 2020 5 commits
  3. 05 Jun, 2020 2 commits
  4. 01 Jun, 2020 3 commits
  5. 30 May, 2020 2 commits
  6. 28 May, 2020 2 commits
  7. 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
  8. 24 May, 2020 5 commits
  9. 23 May, 2020 4 commits
  10. 22 May, 2020 8 commits
  11. 20 May, 2020 4 commits
  12. 19 May, 2020 2 commits