[PPL-devel] ppl src/Checked_Number.defs.hh src/Checked_Num ...
Abramo Bagnara
abagnara at cs.unipr.it
Wed Nov 22 12:49:30 CET 2006
CVSROOT: /cvs/ppl
Module name: ppl
Branch: altnum
Changes by: abagnara at cs.unipr.it 2006-11-22 12:49:30
Modified files:
src : Checked_Number.defs.hh
Checked_Number.inlines.hh checked.defs.hh
checked_ext.inlines.hh checked_float.inlines.hh
checked_int.inlines.hh checked_mpq.inlines.hh
checked_mpz.inlines.hh
checked_numeric_limits.hh
tests/Polyhedron: numberinput1.cc
Log message:
Renamed may_be_ in has_.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.26&r2=1.1.2.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.25&r2=1.1.2.26
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.33&r2=1.1.2.34
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_ext.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.11&r2=1.1.2.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.24&r2=1.1.2.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.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_mpq.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.26&r2=1.1.2.27
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.28&r2=1.1.2.29
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.4&r2=1.16.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.28.8.3&r2=1.28.8.4
More information about the PPL-devel
mailing list