February 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid addcongruence1.cc
by Roberto Bagnara 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-20 14:15:38 Modified files: tests/Grid : addcongruence1.cc Log message: Use spacing consistently. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruence1.cc.…

1 0

ppl/tests Makefile.am ppl_test.cc ppl_test.hh ...
by Roberto Bagnara 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-20 14:08:51 Modified files: tests : Makefile.am ppl_test.cc ppl_test.hh Removed files: tests : ehandlers.cc ehandlers.hh Log message: Source files ehandlers.* phased out. Drafted a new SIGFPE handler that every test installs to help debugging. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ehandlers.hh.diff?cvsro…

1 0

ppl/tests/Grid addcongruence1.cc
by Patricia Hill 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-20 13:58:08 Modified files: tests/Grid : addcongruence1.cc Log message: Added test that showed a bug in add_congruence_and_minimize(), which is now fixed. All tests here revised to be in the new format. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruence1.cc.…

1 0

ppl/src Congruence_System.cc Grid_public.cc
by Patricia Hill 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-20 13:55:28 Modified files: src : Congruence_System.cc Grid_public.cc Log message: Changed add_recycled_congruence_and_minimize() to use recycling_insert() when adding a congruence. Corrected insert() in Congruence_System.cc so as to correctly deal with the case that the dimensions of the congruence system to be added are less than that of *this. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl configure.ac
by Roberto Bagnara 19 Feb '06

19 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-19 22:22:02 Modified files: . : configure.ac Log message: Added Automake conditionals to reflect the status of shared and static libraries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Init.cc checked.cc checked_mpq.inlines.hh
by Roberto Bagnara 19 Feb '06

19 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-19 20:30:10 Modified files: src : Init.cc checked.cc checked_mpq.inlines.hh Log message: Finished the implementation of rational square root calculations. The precision parameter is now passed and returned as an unsigned. The set_rational_sqrt_precision_parameter(unsigned p) function throws an exception if `p' is too big. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di…

1 0

ppl/src Init.cc checked.cc checked_mpq.inlines.hh
by Roberto Bagnara 19 Feb '06

19 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-19 17:49:01 Modified files: src : Init.cc checked.cc checked_mpq.inlines.hh Log message: New functions void set_rational_sqrt_precision_parameter(const mpz_class& p) and mpz_class rational_sqrt_precision_parameter() to set and obtain the the precision parameter (to be) used for rational sqrt calculations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di…

1 0

ppl/src checked_mpz.inlines.hh
by Roberto Bagnara 19 Feb '06

19 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-19 16:37:17 Modified files: src : checked_mpz.inlines.hh Log message: Avoid long source lines. Prefer preincrement and predecrement to postincrement and postdecrement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src checked_mpz.inlines.hh
by Roberto Bagnara 19 Feb '06

19 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-19 16:34:31 Modified files: src : checked_mpz.inlines.hh Log message: No longer include <cmath>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src checked_float.inlines.hh
by Roberto Bagnara 19 Feb '06

19 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-19 13:04:27 Modified files: src : checked_float.inlines.hh Log message: Do not use the fma(), fmaf() and fmal() library functions on Alphas, since we cannot guarantee the library has been compiled with the flags that ensure controlled rounding is working. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0