February 2006 - PPL-devel - BUGSENG Mailman

ppl TODO
by Andrea Cimino 15 Feb '06

15 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-02-15 12:16:28 Modified files: . : TODO Log message: Added one item. Provide a better implementation of computing squares. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wi…

1 0

ppl/tests/BD_Shape addconstraints1.cc addspace ...
by Roberto Bagnara 15 Feb '06

15 Feb '06

1 0

ppl/tests Makefile.am Partial_Function.cc Part ...
by Roberto Bagnara 15 Feb '06

15 Feb '06

1 0

ppl/tests/Polyhedron Makefile.am
by Enea Zaffanella 15 Feb '06

15 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-15 09:46:59 Modified files: tests/Polyhedron: Makefile.am Log message: dualhypercubes also fails (due to overflow) for checked 64 bits integers, due to the steepest-edge implementation in the primal simplex. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Polyhedra_Powerset.inlines.hh
by Enea Zaffanella 15 Feb '06

15 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-15 09:45:40 Modified files: src : Polyhedra_Powerset.inlines.hh Log message: Spcialization of poly_difference_assign() and check_containment() are now placed in the same namespace as their declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl/tests/BD_Shape generalizedaffinepreimage1.cc
by Roberto Bagnara 14 Feb '06

14 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-14 21:43:58 Modified files: tests/BD_Shape : generalizedaffinepreimage1.cc Log message: Adapted the expected result of test12() to the precision obtained on the SPARC. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/tests ppl_test.hh Grid/Makefile.am
by Patricia Hill 14 Feb '06

14 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-14 15:51:01 Modified files: tests : ppl_test.hh tests/Grid : Makefile.am Log message: Tests in Makefile.am are ordered alphabetically. Added "const" to the parameters in copy_compare() in ppl_test.hh. Patches: 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/Grid/Makefile.am.diff?c…

1 0

ppl/src Congruence_System.cc Grid_Generator_Sy ...
by Patricia Hill 14 Feb '06

14 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-14 15:47:27 Modified files: src : Congruence_System.cc Grid_Generator_System.cc Grid_Generator_System.defs.hh Log message: Added assert(OK()) to four methods in Congruence_System.cc Corrected a cut-and-paste error in Grid_Generator_System.cc Improved a comment in Grid_Generator_System.defs.hh. 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_Generator_System.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def…

1 0

ppl/src Checked_Number.inlines.hh
by Abramo Bagnara 14 Feb '06

14 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-02-14 13:40:55 Modified files: src : Checked_Number.inlines.hh Log message: More correct implementation for exact_div. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src Checked_Number.defs.hh GMP_Integer.def ...
by Roberto Bagnara 14 Feb '06

14 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-14 13:34:26 Modified files: src : Checked_Number.defs.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh Log message: Specify that the behavior of exact_div_assign(x, y, z) is undefined if `z' does not divide `y'. This condition is asserted in the GMP_Integer implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… 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…

1 0