| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [src/add1sp1_extracted.c] replaced extracted code by new for MPFR_PREC_BITS=64 | zimmerma | 2018-08-27 | 1 | -79/+79 |
| * | added configure option --enable-formally-proven-code and corresponding code | zimmerma | 2018-08-23 | 1 | -0/+361 |
 |
index : delta/mpfr.git | |
| scm.gforge.inria.fr: anonscm/svn/mpfr |
| summaryrefslogtreecommitdiff |