[PPL-devel] ppl/src GMP_Integer.defs.hh GMP_Integer.inline ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	altnum
Changes by:	bagnara at cs.unipr.it	2006-12-02 07:40:04

Modified files:
	src            : GMP_Integer.defs.hh GMP_Integer.inlines.hh 
	                 GMP_Integer.types.hh Makefile.am 
	                 Old_Interval.defs.hh checked.defs.hh 
	                 checked_mpq.inlines.hh checked_mpz.inlines.hh 
	                 checked_numeric_limits.hh 
Added files:
	src            : mp_std_bits.defs.hh mp_std_bits.inlines.hh 
Removed files:
	src            : mp_numeric_limits.hh 

Log message:
	New sources `mp_std_bits.defs.hh' and `mp_std_bits.inlines.hh' contain
	the specializations of std:: objects that are not defined by GMP and
	MPFR (presently these include std::swap() and std::numeric_limits).
	The policy is to include mp_std_bits.defs.hh immediately after each
	inclusion of gmpxx.h.  File `mp_numeric_limits.hh' phased out.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_std_bits.defs.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_std_bits.inlines.hh?cvsroot=ppl&only_with_tag=altnum&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.7&r2=1.1.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.70.2.27&r2=1.70.2.28
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Old_Interval.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.38&r2=1.1.2.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.32&r2=1.1.2.33
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.33&r2=1.1.2.34
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16.2.6&r2=1.16.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_numeric_limits.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.8.2.2&r2=NONE