March 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/Octagonal_Shape congruences1.cc
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 09:06:47 Modified files: tests/Octagonal_Shape: congruences1.cc Log message: No longer using eager methods for adding constraints/congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/congrue…

1 0

ppl/tests/Grid directproduct3.cc directproduct5.cc
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 08:58:59 Modified files: tests/Grid : directproduct3.cc directproduct5.cc Log message: No longer using eager methods for adding constraints/congruences. Patches: 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/directproduct5.cc.…

1 0

ppl/tests/Grid partiallyreducedproduct1.cc
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 08:55:55 Modified files: tests/Grid : partiallyreducedproduct1.cc Log message: No longer using eager methods for adding constraints/congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr…

1 0

ppl/src Partially_Reduced_Product.defs.hh Part ...
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 08:52:55 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Log message: Removed eager versions of methods adding constraints/congruences. 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/src/Partially_Reduced_Product…

1 0

ppl/src Pointset_Ask_Tell.defs.hh Pointset_Ask ...
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 08:49:50 Modified files: src : Pointset_Ask_Tell.defs.hh Pointset_Ask_Tell.templates.hh Log message: Removed eager methods of methods adding constraints/congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.templat…

1 0

ppl/tests/Ask_Tell append1.cc
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 08:48:20 Modified files: tests/Ask_Tell : append1.cc Log message: Corrected typo in the noisy output. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Ask_Tell/append1.cc.dif…

1 0

ppl/tests/Box addconstraints1.cc congruences1. ...
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 08:44:32 Modified files: tests/Box : addconstraints1.cc congruences1.cc intersection1.cc Log message: No longer using eager methods for adding constraints/congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/addconstraints1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/congruences1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/intersection1.cc.di…

1 0

ppl/src Box.defs.hh Box.inlines.hh
by Enea Zaffanella 21 Mar '08

21 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-21 08:36:34 Modified files: src : Box.defs.hh Box.inlines.hh Log message: Removed eager versions of methods adding constraints and congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

1 0

ppl/src C_Polyhedron.defs.hh
by Patricia Hill 20 Mar '08

20 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-03-20 17:56:20 Modified files: src : C_Polyhedron.defs.hh Log message: Comment corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff…

1 0

ppl/src Polyhedron_public.cc Polyhedron_wideni ...
by Enea Zaffanella 20 Mar '08

20 Mar '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-03-20 16:00:51 Modified files: src : Polyhedron_public.cc Polyhedron_widenings.cc Log message: Avoid using deprecated methods. Patches: 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/src/Polyhedron_widenings.cc.d…

1 0