October 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron dualhypercubes.cc
by Roberto Bagnara 26 Oct '07

26 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-26 20:54:10 Modified files: tests/Polyhedron: dualhypercubes.cc Log message: Variable renamed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/dualhypercub…

1 0

ppl/src Direct_Product.inlines.hh Direct_Produ ...
by Patricia Hill 26 Oct '07

26 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-26 12:05:40 Modified files: src : Direct_Product.inlines.hh Direct_Product.templates.hh Log message: Non-inline code moved from Direct_Product.inlines.hh to Direct_Product.templates.hh Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.templates.…

1 0

ppl src/Pointset_Powerset.defs.hh src/Pointset ...
by Patricia Hill 25 Oct '07

25 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-25 22:02:15 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh tests/Polyhedron: pointsetpowerset2.cc Log message: Added affine_dimension() to the Pointset_Powerset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowe…

1 0

ppl/m4 ac_check_swi_prolog.m4
by Roberto Bagnara 25 Oct '07

25 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-25 21:59:48 Modified files: m4 : ac_check_swi_prolog.m4 Log message: Define also SWI_PROLOG_LD_OPTIONS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.dif…

1 0

ppl src/Pointset_Powerset.defs.hh src/Pointset ...
by Patricia Hill 24 Oct '07

24 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-24 15:15:07 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: pointsetpowerset2.cc Log message: Added generalized_*image() and bounded_*image() to the Pointset Powerset domain. Added tests for these and for the affine_image() and affine_preimage() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/pointsetpowe… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl src/Direct_Product.inlines.hh tests/Grid/d ...
by Patricia Hill 22 Oct '07

22 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-22 21:56:39 Modified files: src : Direct_Product.inlines.hh tests/Grid : directproduct6.cc Log message: Revised code for relation_with(Constraint). Added one extra test for this. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.…

1 0

ppl src/Direct_Product.inlines.hh tests/Grid/d ...
by Patricia Hill 22 Oct '07

22 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-22 14:06:45 Modified files: src : Direct_Product.inlines.hh tests/Grid : directproduct1.cc directproduct2.cc directproduct3.cc directproduct4.cc directproduct6.cc directproduct7.cc Log message: Bug fixed for congruences() and minimized_congruences(). Tests changed so as to test the Direct_Product class rather than the Open_Product class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… 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/directproduct6.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct7.cc.…

1 0

ppl doc/definitions.dox src/Direct_Product.def ...
by Patricia Hill 22 Oct '07

22 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-22 13:08:20 Modified files: doc : definitions.dox src : Direct_Product.defs.hh Direct_Product.inlines.hh Log message: Documentation revised for grids, bibliographic cross-reference corrected and some missing code for the direct product domain added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh…

1 0

ppl src/Direct_Product.defs.hh src/Direct_Prod ...
by Patricia Hill 22 Oct '07

22 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-22 11:45:18 Modified files: src : Direct_Product.defs.hh Direct_Product.inlines.hh tests/Grid : directproduct6.cc Log message: Revised the returned result for relation_with(Constraint). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.…

1 0

ppl src/Direct_Product.defs.hh src/Direct_Prod ...
by Patricia Hill 22 Oct '07

22 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-22 09:26:56 Modified files: src : Direct_Product.defs.hh Direct_Product.inlines.hh tests/Grid : directproduct6.cc Log message: Added the relation_with(Constraint) and relation_with(Generator) method for the direct product. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.…

1 0