April 2008 - PPL-devel - BUGSENG Mailman

ppl NEWS
by Enea Zaffanella 22 Apr '08

22 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-22 11:49:57 Modified files: . : NEWS Log message: Mention the new unconstrain() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.22…

1 0

ppl/tests/Box pointsetpowerset1.cc
by Patricia Hill 22 Apr '08

22 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-22 09:55:03 Modified files: tests/Box : pointsetpowerset1.cc Log message: Tests 4 to 19 uncommented and adapted to use the box domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/pointsetpowerset1.c…

1 0

ppl/src checked.inlines.hh
by Roberto Bagnara 22 Apr '08

22 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-04-22 09:32:49 Modified files: src : checked.inlines.hh Log message: Added a note on the implementation of gcdext_exact(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/src NNC_Polyhedron.defs.hh
by Patricia Hill 21 Apr '08

21 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-21 22:48:05 Modified files: src : NNC_Polyhedron.defs.hh Log message: Document the parameter complexity in: NNC_Polyhedron(const Grid &grid, Complexity_Class complexity=ANY_COMPLEXITY) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 21 Apr '08

21 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2008-04-21 12:13:53 Modified files: src : BD_Shape.templates.hh Log message: Corrected the private method `get_limiting_shape' when `cs' contains an equality. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src Partially_Reduced_Product.defs.hh Part ...
by Enea Zaffanella 18 Apr '08

18 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-18 14:25:35 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Log message: Added methods unconstrain() to class Partially_Reduced_Product. 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…

1 0

ppl/tests BD_Shape/frombdshape1.cc Octagonal_S ...
by Enea Zaffanella 18 Apr '08

18 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-04-18 14:24:49 Modified files: tests/BD_Shape : frombdshape1.cc tests/Octagonal_Shape: fromoctagonalshape1.cc Log message: Corrected typos: the assignment operator is not meant to implement a conversion between different kinds of BD_ or Octagonal_ shapes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frombdshape1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/fromoct…

1 0

ppl src/Partially_Reduced_Product.defs.hh src/ ...
by Patricia Hill 18 Apr '08

18 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-18 11:06:16 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh tests/Grid : directproduct6.cc Log message: Added a constructor for a product from another product but with possibly different templatic parameters. 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/directproduct6.cc.…

1 0

ppl src/Partially_Reduced_Product.defs.hh src/ ...
by Patricia Hill 18 Apr '08

18 Apr '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-04-18 10:32:36 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh tests/Grid : directproduct6.cc Log message: Added the complexity class parameter for the copy constructor for the product domain. 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/directproduct6.cc.…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Patricia Hill 18 Apr '08

18 Apr '08

1 0