September 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid certificate1.cc
by Matthew Mundell 12 Sep '05

12 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-12 14:29:19 Modified files: tests/Grid : certificate1.cc Log message: Correct an error message in test3. Add test6, which uses zero dimension universes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/certificate1.cc.di…

1 0

ppl/src Grid_Certificate.cc
by Matthew Mundell 12 Sep '05

12 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-12 14:28:16 Modified files: src : Grid_Certificate.cc Log message: In Grid_Certificate(cgr) handle the zero dimension universe specially, and improve three comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.cc.diff?…

1 0

ppl/interfaces/Prolog XSB/expected3_int16_a te ...
by Roberto Bagnara 12 Sep '05

12 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-12 14:14:33 Modified files: interfaces/Prolog/XSB: expected3_int16_a interfaces/Prolog/tests: expected_pchk_int16_a Log message: Adapted to the recent changes in pl_check.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/tests/BD_Shape maxspacedim.cc
by Roberto Bagnara 11 Sep '05

11 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-11 22:32:32 Modified files: tests/BD_Shape : maxspacedim.cc Log message: Pass the right parameters to the BD_Shape template class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/maxspacedim.cc…

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 11 Sep '05

11 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-11 22:18:36 Modified files: tests : ppl_test.hh Log message: Pass the right parameters to the BD_Shape template class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
by Roberto Bagnara 11 Sep '05

11 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-11 21:51:59 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: Life of the user of BD_Shape is now simpler, as he can specify a BD_Shape by providing the base numerical type used to represent the inhomogeneous terms. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 11 Sep '05

11 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-09-11 11:55:11 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Improved error and exception messages. Try and ensure that regardless of the error or exception, an informative message detailing the group test and the predicates it is testing is printed. An extra noisy level added (noisy(2) for debugging (set by the predicate make_extra_noisy). check_all now is quiet only as a default and does not change existing noisy level. Avoiding abbreviations in group names to improve readability. Made three groups for testing the constructor predicates instead of one. Simplified test for new_Polyhedron_from_space_dimension. Added tests for ppl_Polyhedron_generalized_affine_preimage_lhs_rhs. Improved tests for ppl_Polyhedron_maximize_with_point and ppl_Polyhedron_minimize_with_point to correct behaviour on failure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl src/Polyhedra_Powerset.defs.hh src/Polyhed ...
by Enea Zaffanella 11 Sep '05

11 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-11 10:19:30 Modified files: src : Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh tests/Polyhedron: bhz03widening1.cc bhz03widening2.cc bhz03widening3.cc bhz03widening6.cc Log message: Removed the shorthand notation for Polyhedra_Powerset::BHZ03_widening_assing<BHRZ03_Certificate>(...). Now the user should always explicitly mention the (type of) certificate used for the base-level widening operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widenin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widenin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widenin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widenin…

1 0

ppl instchk.hh
by Roberto Bagnara 10 Sep '05

10 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-10 23:15:49 Modified files: . : instchk.hh Log message: Description and copyright notice added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&r…

1 0

ppl/src checked_mpz.inlines.hh
by Roberto Bagnara 10 Sep '05

10 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-10 23:14:13 Modified files: src : checked_mpz.inlines.hh Log message: Avoid assert(0) and make sure the compiler does not think we are returning without a value. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0