- 24 Sep, 2012 1 commit
-
-
Guillaume Melquiond authored
-
- 06 Sep, 2012 1 commit
-
-
Guillaume Melquiond authored
-
- 27 Aug, 2012 1 commit
-
-
Jacques-Henri Jourdan authored
-
- 09 Jul, 2012 2 commits
-
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
-
- 03 Jun, 2012 1 commit
-
-
Guillaume Melquiond authored
-
- 05 Apr, 2012 1 commit
-
-
Guillaume Melquiond authored
-
- 03 Apr, 2012 1 commit
-
-
Guillaume Melquiond authored
-
- 28 Mar, 2012 1 commit
-
-
Guillaume Melquiond authored
-
- 27 Mar, 2012 1 commit
-
-
Guillaume Melquiond authored
-
- 25 Mar, 2012 3 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 31 Dec, 2011 4 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 30 Dec, 2011 1 commit
-
-
Guillaume Melquiond authored
-
- 24 Dec, 2011 6 commits
-
-
Guillaume Melquiond authored
Prove that a representable number, once rounded (whatever the format/direction), is still representable.
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 06 Dec, 2011 3 commits
-
-
Guillaume Melquiond authored
-
BOLDO Sylvie authored
-
BOLDO Sylvie authored
-
- 29 Nov, 2011 3 commits
-
-
BOLDO Sylvie authored
-
BOLDO Sylvie authored
-
BOLDO Sylvie authored
-
- 25 Nov, 2011 6 commits
-
-
Guillaume Melquiond authored
-
BOLDO Sylvie authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
Type of rounding mode is changed from 1.4, but expressions like "round beta rndMODE" are still usable.
-
Guillaume Melquiond authored
-
- 23 Nov, 2011 1 commit
-
-
Guillaume Melquiond authored
-
- 26 Oct, 2011 3 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-