Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | -79/+79 |
* | added configure option --enable-formally-proven-code and corresponding code | zimmerma | 2018-08-23 | 1 | -0/+361 |