diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-02-04 13:23:37 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-02-04 13:23:37 +0000 |
commit | 2cd34be6bf7ff2744ab7cdfa176d5423bacb4d13 (patch) | |
tree | d6e097c344571ed9070e8de4d8d91a08128983d2 /doc/README.dev | |
parent | 153f73a78e0bb7e0aad5f428031522bc6c9148d4 (diff) | |
download | mpfr-2cd34be6bf7ff2744ab7cdfa176d5423bacb4d13.tar.gz |
[tools/mpfrlint] Check that native FP division by zero is not used.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13441 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc/README.dev')
0 files changed, 0 insertions, 0 deletions