November 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid partiallyreducedproduct2.cc
by Patricia Hill 20 Nov '07

20 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-20 08:02:44 Modified files: tests/Grid : partiallyreducedproduct2.cc Log message: Tests 08 and 18 fail for 8-bit integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr…

1 0

ppl src/BD_Shape.inlines.hh tests/Grid/directp ...
by Patricia Hill 19 Nov '07

19 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-19 18:25:16 Modified files: src : BD_Shape.inlines.hh tests/Grid : directproduct1.cc directproduct2.cc directproduct3.cc directproduct4.cc directproduct5.cc directproduct6.cc Log message: Corrected code for BD_Shape<T>::add_congruences_and_minimize(const Congruence_System& cgs) All the tests for directproduct?.cc have an option to run using the BD_Shape x Grid domain, apart from a few tests that are commented out due to missing methods in the BD_Shape class. Note that these tests are currently set to run using NNC_Polyhedron x Grid or Grid x.NNC_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct5.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Patricia Hill 19 Nov '07

19 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-19 14:48:57 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Polyhedron.inlines.hh Polyhedron_public.cc tests/Grid : directproduct1.cc Log message: Added methods for adding congruences and for obtaining the set of equality congruences from a BD_Shape. Methods in Polyhedron_public.cc for adding congruences moved to Polyhedron.inlines.hh. 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?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.…

1 0

ppl src/Partially_Reduced_Product.defs.hh src/ ...
by Patricia Hill 19 Nov '07

19 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-19 11:18:47 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.templates.hh tests/Grid : directproduct5.cc partiallyreducedproduct3.cc Log message: Added relation_with(Congruences) to the Partially_Reduced_Product class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct5.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr…

1 0

ppl NEWS
by Patricia Hill 19 Nov '07

19 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-19 10:03:06 Modified files: . : NEWS Log message: Added item o The method relations_with(Congruence) has been added to the Polyhedron class for compatibility with the Grid class methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.21…

1 0

ppl src/Polyhedron.defs.hh src/Polyhedron_publ ...
by Patricia Hill 19 Nov '07

19 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-19 09:58:16 Modified files: src : Polyhedron.defs.hh Polyhedron_public.cc tests/Polyhedron: relations2.cc Log message: Added method relation_with(Congruence) to Polyhedron class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/relations2.c…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 19 Nov '07

19 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-11-19 08:41:51 Modified files: src : Polyhedron_public.cc Log message: A couple of small improvements to the implementation of constrains(): - avoid counting lines if the generator system is not minimized (no matter if it has pending generators or not); - prefer efficient methods g.is_line_or_ray() and g.is_line() with respect to g.type() when checking for lines and rays. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/interfaces/Java ppl_interface_generator_ja ...
by Patricia Hill 18 Nov '07

18 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-18 13:28:16 Modified files: interfaces/Java: ppl_interface_generator_java_dat.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 Log message: Added Java interface for constraints(). In Java/tests/ppl_interface_generator_java_test_java.m4, just a spelling correction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl ./NEWS src/Grid.defs.hh src/Grid.inlines.h ...
by Patricia Hill 17 Nov '07

17 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-17 22:09:50 Modified files: . : NEWS src : Grid.defs.hh Grid.inlines.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_public.cc tests/Grid : directproduct1.cc directproduct4.cc directproduct5.cc partiallyreducedproduct1.cc tests/Polyhedron: addcongruences1.cc Log message: Added methods add_congruences_and_minimize(Congruence_System), add_recycled_congruences(Congruence_System), and add_recycled_congruences_and_minimize(Congruence_System) to Polyhedron class. Added static methods can_recycle_constraint_systems() and can_recycle_congruence_systems() to Polyhedron and Grid classes. Added methods add_congruences_and_minimize(Congruence_System), add_recycled_congruences(Congruence_System), and add_recycled_congruences_and_minimize(Congruence_System) to the Partially_Reduced_Product class. Some simple tests added to check these. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.21… 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.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct5.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc…

1 0

ppl ./NEWS src/Polyhedron.defs.hh src/Polyhedr ...
by Roberto Bagnara 17 Nov '07

17 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-17 19:18:21 Modified files: . : NEWS src : Polyhedron.defs.hh Polyhedron_public.cc tests/Polyhedron: Makefile.am constraints1.cc Added files: tests/Polyhedron: constrains1.cc Log message: New method bool Polyhedron::constrains(Variable var) const returns `true' if and only if `var' is constrained in `*this'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.21… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constrains1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/constraints1…

1 0