October 2006 - PPL-devel - BUGSENG Mailman

ppl/src Any_Pointset.defs.hh
by Roberto Bagnara 25 Oct '06

25 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-25 13:40:15 Modified files: src : Any_Pointset.defs.hh Log message: Uncommented code that was temporarily disabled due to missing method in some pointset classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh.diff…

1 0

ppl/tests/Octagonal_Shape Makefile.am
by Barbara Quartieri 25 Oct '06

25 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-10-25 11:09:32 Modified files: tests/Octagonal_Shape: Makefile.am Log message: Added the test membytes1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 25 Oct '06

25 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-25 09:01:09 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: The Prolog predicate for BD_Shape_..._bounded_affine_image must not be built. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 24 Oct '06

24 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-24 18:00:37 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/C : ppl_interface_generator_c_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 ppl_interface_generator_predicate_check_extra_code Log message: In the ppl/interfaces: The @BOX@ replacement is now only used for building from a box (bounding_box or covering_box). The "get" or "shrink" bounding_box or covering_box" procedures, do not use any pattern. As the Grid has the same aruments as the Polyhedron for shrink_bounding_box, we can combine all the classes for this procedure into one schema. On the other hand, although the covering box is only available at present for the Grid domain, it is provided as a generic schema. The property "is_topologically_closed" is now enabled for BD_Shape and Octagons Prolog interfaces. Similarly the "topological_closure_assign" procedure is now enabled for BD_Shape and Octagons Prolog interfaces. Generic tests for all the properties using schema ppl_@CLASS@_@HAS_PROPERTY@ have been added. Generic tests for ppl_@CLASS@_@SIMPLIFY@ have been added (for the domains under consideration, this is just the ."topological_closure_assign" procedure). The test data for the generic tests has again been reorganised and restructured making it easier to extend and maintain. 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/C/ppl_interface_ge… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl src/Grid.defs.hh src/Grid.templates.hh tes ...
by Patricia Hill 24 Oct '06

24 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-24 17:56:29 Modified files: src : Grid.defs.hh Grid.templates.hh tests/Grid : boundingbox1.cc boundingbox2.cc Log message: In ppl/src: The grid can now be built from boxes which may have different finite values for the upper and lower bounds or have only the upper or the lower bound bounded or have open finite bounds. Before when this happened an exception was thrown. Now we compute an approximation. Also, now the Grid domain requires the complexity as an argument for shrink_bounding_box so as to be compatible with the Polyhedron_shrink_bounding_box. This argument is not used. The tests/Grid/boundingbox1.cc and tests/Grid/boundingbox2.cc have been revised to match. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/boundingbox2.cc.di…

1 0

ppl/interfaces Makefile.am
by Roberto Bagnara 24 Oct '06

24 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-24 17:19:03 Modified files: interfaces : Makefile.am Log message: Recursively process the Java directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl ./configure.ac interfaces/Java/.cvsignore ...
by Roberto Bagnara 24 Oct '06

24 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-24 17:17:22 Modified files: . : configure.ac Added files: interfaces/Java: .cvsignore Makefile.am interfaces/Java/ppl_java: .cvsignore Makefile.am Log message: Java directories activated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/.cvsignore?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/.cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

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

24 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-10-24 17:06:46 Modified files: interfaces/Java/ppl_java: Coefficient.java Variable.java Log message: Minor changes in Doxygen stuff. 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/Vari…

1 0

ppl/interfaces/Java ppl_java/Coefficient.java ...
by Roberto Bagnara 24 Oct '06

24 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-24 16:40:16 Added files: interfaces/Java/ppl_java: Coefficient.java Variable.java Removed files: interfaces/Java: Coefficient.java Variable.java Log message: Moved into the package's directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Coefficient.j… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Variable.java… 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/Vari…

1 0

ppl/interfaces/Java/ppl_java
by Roberto Bagnara 24 Oct '06

24 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-24 16:33:37 ppl/interfaces/Java/ppl_java Update of /cvs/ppl/ppl/interfaces/Java/ppl_java In directory spartacus.cs.unipr.it:/tmp/cvs-serv22742/ppl_java Log Message: Directory /cvs/ppl/ppl/interfaces/Java/ppl_java added to the repository

1 0