| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Copyright notice update: added 2021 with | vlefevre | 2021-01-03 | 1 | -1/+1 |
| * | Copyright notice update: added 2020 with | vlefevre | 2020-01-08 | 1 | -1/+1 |
| * | added github source for Jianyang Pan formal proof | zimmerma | 2019-08-30 | 1 | -0/+2 |
| * | Updated the www.gnu.org URL's (http → https) on all the files with: | vlefevre | 2019-01-07 | 1 | -1/+1 |
| * | Copyright notice update: added 2019 with | vlefevre | 2019-01-01 | 1 | -1/+1 |
| * | [src/add1sp1_extracted.c] replaced extracted code by new for MPFR_PREC_BITS=64 | zimmerma | 2018-08-27 | 1 | -59/+68 |
| * | added configure option --enable-formally-proven-code and corresponding code | zimmerma | 2018-08-23 | 1 | -0/+314 |
 |
index : delta/mpfr.git | |
| scm.gforge.inria.fr: anonscm/svn/mpfr |
| summaryrefslogtreecommitdiff |