https://github.com/BrianGladman/mpfr
Tip revision: 75d60e78db0a7a9fc2804413f2732f457b799a22 authored by Brian Gladman on 15 December 2023, 16:21:48 UTC
Merge branch 'master' of gitlab.inria.fr:mpfr/mpfr
Merge branch 'master' of gitlab.inria.fr:mpfr/mpfr
Tip revision: 75d60e7
| File | Mode | Size |
|---|---|---|
| bench | ||
| mbench | ||
| metaMPFR | ||
| announce-text | -rwxr-xr-x | 7.5 KB |
| build-patch | -rwxr-xr-x | 2.2 KB |
| cfarm.sh | -rwxr-xr-x | 2.5 KB |
| check_mparam.c | -rw-r--r-- | 2.2 KB |
| ck-clz_tab | -rwxr-xr-x | 960 bytes |
| ck-copyright-notice | -rwxr-xr-x | 2.5 KB |
| ck-inits-clears | -rwxr-xr-x | 629 bytes |
| ck-mparam | -rwxr-xr-x | 1.3 KB |
| ck-news | -rwxr-xr-x | 1.6 KB |
| ck-version-info | -rwxr-xr-x | 2.8 KB |
| coverage | -rwxr-xr-x | 2.9 KB |
| export-release | -rw-r--r-- | 911 bytes |
| get_patches.sh | -rwxr-xr-x | 1.3 KB |
| gitlog-to-changelog | -rw-r--r-- | 16.3 KB |
| mpfrlint | -rwxr-xr-x | 24.0 KB |
| nightly-test | -rwxr-xr-x | 1.8 KB |
| repl-variadic | -rwxr-xr-x | 866 bytes |
| timings-mpfr.c | -rw-r--r-- | 4.5 KB |
| update-changelog | -rwxr-xr-x | 667 bytes |
| update-version | -rwxr-xr-x | 1.8 KB |
