Root of the sample_add17 branch. This branch is an example for contributors and will be used to give information on the MPFR website (with "git diff"). It must never be used for development.
Exceptional GitLab maintenance is scheduled for September 18, 2025. The service will be unavailable between 5:00 and 7:00 pm. Please do not work on the platform until an announcement indicates that maintenance is complete.
Root of the sample_add17 branch. This branch is an example for contributors and will be used to give information on the MPFR website (with "git diff"). It must never be used for development.