March 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid generator1.cc
by Roberto Bagnara 24 Mar '06

24 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-24 17:34:04 Modified files: tests/Grid : generator1.cc Log message: FIXME added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generator1.cc.diff…

1 0

ppl/src Congruence_System.cc
by Roberto Bagnara 24 Mar '06

24 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-24 17:16:40 Modified files: src : Congruence_System.cc Log message: Spurious variable re-declaration removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src BDS_Status.idefs.hh BD_Shape.defs.hh C ...
by Roberto Bagnara 24 Mar '06

24 Mar '06

1 0

ppl/src Grid_Generator.inlines.hh
by Roberto Bagnara 24 Mar '06

24 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-24 16:52:05 Modified files: src : Grid_Generator.inlines.hh Log message: Inline definitions moved before their first use. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh…

1 0

ppl/tests/Grid affinedim1.cc bounded1.cc bound ...
by Patricia Hill 24 Mar '06

24 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-24 15:34:29 Modified files: tests/Grid : affinedim1.cc bounded1.cc bounds1.cc discrete1.cc maxmin1.cc topclosed1.cc Log message: Replaced assert(copy_compare(...)) with a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinedim1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounded1.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounds1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/discrete1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosed1.cc.diff…

1 0

ppl src/Grid_Generator.defs.hh src/Grid_Genera ...
by Patricia Hill 24 Mar '06

24 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-24 15:26:51 Modified files: src : Grid_Generator.defs.hh Grid_Generator.inlines.hh tests/Grid : generator1.cc Log message: Added coefficient() to Grid_Generator class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generator1.cc.diff…

1 0

ppl/tests/Grid widening2.cc
by Patricia Hill 24 Mar '06

24 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-24 11:33:44 Modified files: tests/Grid : widening2.cc Log message: There is positive overflow for tests 12 and 13 for checked 8. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening2.cc.diff?…

1 0

ppl/src Congruence.defs.hh
by Roberto Bagnara 24 Mar '06

24 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-24 11:13:11 Modified files: src : Congruence.defs.hh Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/src Congruence.defs.hh Congruence.inlines. ...
by Roberto Bagnara 24 Mar '06

24 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-24 11:11:33 Modified files: src : Congruence.defs.hh Congruence.inlines.hh Linear_Expression.defs.hh Log message: Lots of bogus declarations fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh…

1 0

ppl/src Grid_simplify.cc
by Patricia Hill 23 Mar '06

23 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-23 23:45:00 Modified files: src : Grid_simplify.cc Log message: All comments on right of code moved (and, as needed, reworded) to separate line(s) before code being commented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0