November 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid.inlines.hh
by Matthew Mundell 25 Nov '05

25 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-25 11:29:24 Modified files: src : Grid.inlines.hh Log message: Keep the shrink_covering_box and get_covering_box dimension compatibility checks. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src Grid.defs.hh
by Matthew Mundell 25 Nov '05

25 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-25 11:28:37 Modified files: src : Grid.defs.hh Log message: Improve the update_congruences() and minimize() descriptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Congruence.defs.hh
by Matthew Mundell 24 Nov '05

24 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-24 13:49:56 Modified files: src : Congruence.defs.hh Log message: Take out Polyhedron friend declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/src Grid.inlines.hh
by Matthew Mundell 24 Nov '05

24 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-24 13:14:52 Modified files: src : Grid.inlines.hh Log message: In the covering box grid constructor return immediately after setting empty when a universe interval is encountered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 24 Nov '05

24 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-24 12:37:52 Modified files: src : Grid_conversion.cc Log message: Move TRACE definition into the PPL namespace. #undef TRACE afterwards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 24 Nov '05

24 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-24 12:37:07 Modified files: src : Grid_simplify.cc Log message: Replace the tracing stream with cerr and a macro called TRACE. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 24 Nov '05

24 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-24 12:12:13 Modified files: src : Grid_nonpublic.cc Log message: In bounds(expr,char*) use Generator::is_line_or_ray. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 24 Nov '05

24 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-24 12:05:15 Modified files: src : Grid_conversion.cc Log message: Replace the tracing stream with cerr and macro TRACE. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src Generator_System.cc
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 20:53:23 Modified files: src : Generator_System.cc Log message: Re-enable the OK assertion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/src Generator.defs.hh Generator.cc
by Matthew Mundell 23 Nov '05

23 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-23 20:51:45 Modified files: src : Generator.defs.hh Generator.cc Log message: Extend the OK method check_normalization argument to other polyhedron-specific checks. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0