index
:
delta/mpfr.git
2.0.2
2.1
2.2
2.3
2.3-old
2.4
3.0
3.1
4.0
4.1
baserock/morph
exp-int
faithful
feature-block
flags
master
mpfr
mpfr-2-0-2-branch
mpfr-2-1-branch
mpfr-2-2-branch
new-generic-tests
new-sum
set_exp
ubf
ubf2
vl-am113
vlefevre
win-thread-safe-dll
with-mini-gmp
scm.gforge.inria.fr: anonscm/svn/mpfr
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
mpfrlint
Commit message (
Expand
)
Author
Age
Files
Lines
*
[tools/mpfrlint] Run-time assertions concerning relations between
vlefevre
2014-01-27
1
-0
/
+6
*
[tools/mpfrlint] Constant checking in assertions.
vlefevre
2014-01-24
1
-2
/
+4
*
[src/*.c] Replaced mpfr_set_divby0 by the faster MPFR_SET_DIVBY0,
vlefevre
2014-01-21
1
-1
/
+5
*
[tools/mpfrlint] Update due to the mini-gmp support (r8753).
vlefevre
2014-01-17
1
-1
/
+1
*
[tools/mpfrlint] Use codespell if available.
vlefevre
2014-01-07
1
-0
/
+5
*
[tools/mpfrlint] Improved a test to avoid false positives.
vlefevre
2013-06-06
1
-1
/
+1
*
[tools/mpfrlint] Update for random_deviate.
vlefevre
2013-06-01
1
-1
/
+1
*
[tools/mpfrlint] Check for sed.
vlefevre
2012-07-26
1
-0
/
+1
*
[tools/mpfrlint] Check for grep, egrep and fgrep (see r8356 correction).
vlefevre
2012-07-26
1
-2
/
+9
*
[tools/mpfrlint] Update after r8141.
vlefevre
2012-04-23
1
-1
/
+1
*
MPFR_ASSERTD or MPFR_ASSERTN must be used for assertions, not ASSERT.
vlefevre
2012-03-26
1
-0
/
+3
*
[tools/mpfrlint] Correction after r7825.
vlefevre
2011-09-10
1
-1
/
+1
*
[tools/mpfrlint] Run tools/ck-mparam.
vlefevre
2011-09-10
1
-0
/
+1
*
Added tools/ck-copyright-notice sh script from mpfrlint (updated) to
vlefevre
2011-09-09
1
-15
/
+1
*
[tools/mpfrlint] More files under src and tests directories.
vlefevre
2011-09-09
1
-7
/
+9
*
[tools/mpfrlint] Change of r7515: any mpfr_clear_* can be mentioned.
vlefevre
2011-03-07
1
-1
/
+1
*
[tools/mpfrlint] Added a test to check that the snprintf function (C99)
vlefevre
2011-03-04
1
-0
/
+6
*
[tools/mpfrlint] The use of mpfr_overflow_p, etc. is allowed if
vlefevre
2011-03-03
1
-0
/
+1
*
[tools/mpfrlint] Detect the use of mp_ptr and mp_srcptr.
vlefevre
2011-02-10
1
-0
/
+2
*
[tools/mpfrlint] Update the check for mpfr_printf-like functions
vlefevre
2011-01-21
1
-6
/
+4
*
[tools/mpfrlint] tests/tvalist.c can use mpfr_printf-like functions.
vlefevre
2011-01-17
1
-0
/
+1
*
Added MPFR_TMP_LIMBS_ALLOC macro and updated the source to use it.
vlefevre
2010-12-17
1
-0
/
+3
*
[tools/mpfrlint] Support BSD sed.
vlefevre
2010-11-23
1
-5
/
+18
*
[tools/mpfrlint] Detect the use of __mpfr_struct structure members
vlefevre
2010-11-19
1
-0
/
+3
*
[tools/mpfrlint] Added a test:
vlefevre
2010-09-27
1
-0
/
+4
*
[tools/mpfrlint] Check for mpfr_printf-like functions in the tests.
vlefevre
2010-09-15
1
-0
/
+11
*
Source reorganization. In short:
vlefevre
2010-08-17
1
-0
/
+93
