December 2006 - PPL-devel - BUGSENG Mailman

ppl/src GMP_Integer.defs.hh GMP_Integer.inline ...
by Roberto Bagnara 02 Dec '06

02 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)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?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_std_bits.inlines.hh?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Old_Interval.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_numeric_limits.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_numeric_limits.hh.diff…

1 0

ppl/src Boundary.defs.hh Interval.defs.hh Inte ...
by Abramo Bagnara 01 Dec '06

01 Dec '06

1 0

ppl/src Temp.defs.hh
by Abramo Bagnara 01 Dec '06

01 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-01 17:59:41 Modified files: src : Temp.defs.hh Log message: Commented out missing specialization check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Temp.defs.hh.diff?cvsroot…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 01 Dec '06

01 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-12-01 16:31:06 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Use the H79 certificate for more widenings. Provided code for extrapolation operators for the disjuncts for the BGP99 extrapolation. However this is not enabled as the C++ code does not support this yet. Allow for the replacement to be "NONE" as well as the alternative. If either are "NONE" then the code is not generated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src Boundary.defs.hh
by Abramo Bagnara 01 Dec '06

01 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-01 15:55:38 Modified files: src : Boundary.defs.hh Log message: Commented out two COMPILE_TIME_CHECK. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/src checked_mpq.inlines.hh checked_mpz.inl ...
by Abramo Bagnara 01 Dec '06

01 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-01 15:54:58 Modified files: src : checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Added missing swap. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src Checked_Number.defs.hh Interval.defs.h ...
by Abramo Bagnara 01 Dec '06

01 Dec '06

1 0

ppl/interfaces/OCaml ppl_ocaml.cc
by Andrea Cimino 01 Dec '06

01 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-01 14:43:27 Modified files: interfaces/OCaml: ppl_ocaml.cc Log message: Use a more appropriate way to return PPL coefficients to the OCaml world. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc…

1 0

ppl/src DB_Matrix.inlines.hh OR_Matrix.inlines.hh
by Enea Zaffanella 01 Dec '06

01 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-01 14:36:41 Modified files: src : DB_Matrix.inlines.hh OR_Matrix.inlines.hh Log message: Use the function sgn() when comparing a Checked_Number with the constant 0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff…

1 0

ppl/src BD_Shape.templates.hh Octagonal_Shape. ...
by Enea Zaffanella 01 Dec '06

01 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-12-01 14:27:13 Modified files: src : BD_Shape.templates.hh Octagonal_Shape.templates.hh Log message: Avoid comparing a checked number with the integer constant 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0