September 2005 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron_nonpublic.cc
by Enea Zaffanella 01 Sep '05

01 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-01 19:32:22 Modified files: src : Polyhedron_nonpublic.cc Log message: When strongly minimizing a constraint system, if we add back an epsilon upper bound constraint we should reset the minimization flag. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 01 Sep '05

01 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-01 18:31:17 Modified files: src : Grid_public.cc Log message: In generalized_affine_preimage improve a variable name and skip the normalization check when inserting the lines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 01 Sep '05

01 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-01 18:18:17 Modified files: src : Grid_nonpublic.cc Log message: Set gen_sys's sortedness false after clearing gen_sys. Correct a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Grid.inlines.hh
by Matthew Mundell 01 Sep '05

01 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-01 18:17:14 Modified files: src : Grid.inlines.hh Log message: In map_space_dimensions clear minimized flags after permuting columns, and skip the normalization check when inserting generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 01 Sep '05

01 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-01 17:17:41 Modified files: src : Grid_public.cc Log message: In the copy constructor set gen_sys's sortedness to false when given grid's generators are out of date. In OK correct a comment and a message and test that gen_sys's sortedness is false. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_simplify.cc Grid_chdims.cc Grid.i ...
by Matthew Mundell 01 Sep '05

01 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-01 17:15:26 Modified files: src : Grid_simplify.cc Grid_chdims.cc Grid.inlines.hh Log message: Set gen_sys's sortedness to false after clearing gen_sys. Take extra set_sorted calls out of the generator simplify method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src Grid.inlines.hh
by Matthew Mundell 01 Sep '05

01 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-01 15:54:03 Modified files: src : Grid.inlines.hh Log message: Set sortedness of the temporary generators system in map_space_dimensions to false. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 01 Sep '05

01 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-01 15:34:55 Modified files: src : Grid_nonpublic.cc Log message: Take tracing out of is_included_in. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Congruence_System.cc
by Matthew Mundell 01 Sep '05

01 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-01 15:29:54 Modified files: src : Congruence_System.cc Log message: Take tracing out of satisfies_all_congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc
by Matthew Mundell 01 Sep '05

01 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-01 15:23:43 Modified files: src : Grid_public.cc Grid_nonpublic.cc Log message: Always and only set sorted to false when adding new generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0