October 2006 - PPL-devel - BUGSENG Mailman

ppl instchk.hh
by Roberto Bagnara 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-31 23:43:30 Modified files: . : instchk.hh Log message: Cater also for Octagonal_Shape. Methods renamed so as to reflect that Polyhedra_Powerset has been renamed Pointset_Powerset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/instchk.hh.diff?cvsroot=ppl&r…

1 0

ppl/interfaces/Java/ppl_java Linear_Expression ...
by Andrea Cimino 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-31 21:46:07 Removed files: interfaces/Java/ppl_java: Linear_Expression_Common.java Log message: This source file is not used: deleted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line…

1 0

ppl/interfaces/Java/ppl_java Coefficient.java ...
by Andrea Cimino 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-31 19:12:24 Modified files: interfaces/Java/ppl_java: Coefficient.java Linear_Expression.java Linear_Expression_Difference.java Linear_Expression_Sum.java Log message: Fixed some typos and some doxygen commands. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Coef… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line…

1 0

ppl/interfaces/Java ppl_java/Constraint.java p ...
by Roberto Bagnara 31 Oct '06

31 Oct '06

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-31 18:08:09 Modified files: src : BD_Shape.templates.hh Log message: Corrected another occurrence of the same problem identified in the previous commit (wrong handling of capacities), again in remove_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/interfaces/Java Constraint.java Linear_Exp ...
by Roberto Bagnara 31 Oct '06

31 Oct '06

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-31 17:11:21 Modified files: src : BD_Shape.templates.hh Log message: Corrected a bug (in the handling of DB_Row capacities) in method remove_space_dimension(). Avoid useless computations when the BD_Shape is known to be empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl src/Octagonal_Shape.defs.hh src/Octagonal_ ...
by Barbara Quartieri 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-10-31 16:35:20 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh tests/Octagonal_Shape: Makefile.am mapspacedims1.cc Added files: tests/Octagonal_Shape: foldspacedims1.cc Log message: Defined the method fold_space_dimensions() and added some tests about it. Removed the trailing white spaces from mapspacedims1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/foldspa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/mapspac…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-31 14:00:01 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code ppl_interface_generator_predicate_check_pl.m4 Log message: Added generic tests for the remaining widening/extrapolation and change dimensions procedures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/tests/BD_Shape foldspacedims1.cc
by Patricia Hill 31 Oct '06

31 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-31 13:46:02 Modified files: tests/BD_Shape : foldspacedims1.cc Log message: Added two tests to show a bug. Both test fold_space_dimensions() for an empty shape in 2 dimensions but where the initial shape is built in different ways. One of these tests causes an exception to be thrown whereas the other passes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/foldspacedims1…

1 0