May 2006 - PPL-devel - BUGSENG Mailman

ppl/src Congruence_System.defs.hh Congruence_S ...
by Matthew Mundell 16 May '06

16 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-16 15:36:32 Modified files: src : Congruence_System.defs.hh Congruence_System.cc Log message: Move concatenate(cgs) into the private section, adding the requirement that cgs must contain rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Og_Status.idefs.hh
by Roberto Bagnara 16 May '06

16 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-05-16 12:26:25 Modified files: src : Og_Status.idefs.hh Log message: Avoid useless white space. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Og_Status.idefs.hh.diff?c…

1 0

ppl/src Og_Status.idefs.hh
by Barbara Quartieri 16 May '06

16 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-16 12:20:14 Modified files: src : Og_Status.idefs.hh Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Og_Status.idefs.hh.diff?c…

1 0

ppl/src Octagonal_Shape.inlines.hh
by Barbara Quartieri 16 May '06

16 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-16 12:19:11 Modified files: src : Octagonal_Shape.inlines.hh Log message: Moved some methods in the right place. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h…

1 0

ppl/src Octagonal_Shape.defs.hh
by Barbara Quartieri 16 May '06

16 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-05-16 12:16:10 Modified files: src : Octagonal_Shape.defs.hh Log message: Corrected a wrong comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0

ppl/src Congruence.inlines.hh Congruence.defs. ...
by Matthew Mundell 15 May '06

15 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-15 19:54:58 Modified files: src : Congruence.inlines.hh Congruence.defs.hh Congruence.cc Log message: Convert Congruence(le,m,capacity) to Congruence(le,m), adding the requirement that m >= 0. Patches: 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/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/tests/Grid grid3.cc
by Matthew Mundell 15 May '06

15 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-15 14:07:55 Modified files: tests/Grid : grid3.cc Log message: Add test22 and test23 which construct grids from constant zero dimension contraint systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr…

1 0

ppl/tests/Grid asciidumpload2.cc
by Matthew Mundell 15 May '06

15 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-15 14:06:57 Modified files: tests/Grid : asciidumpload2.cc Log message: Add test14 where the grid has a virtual generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/asciidumpload2.cc.…

1 0

ppl/tests print.hh
by Matthew Mundell 15 May '06

15 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-15 14:05:49 Modified files: tests : print.hh Log message: Take out macro dump_grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 15 May '06

15 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-05-15 14:05:18 Modified files: src : Grid_public.cc Log message: Update add_recycled_generators(gs) to assume that zero-dimension generator systems that contain generators always contain a point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0