November 2005 - PPL-devel - BUGSENG Mailman

ppl/src Congruence_System.cc
by Matthew Mundell 27 Nov '05

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 17:52:33 Modified files: src : Congruence_System.cc Log message: Update insert to use Constraint::space_dimension instead of the Constraint::size and Constraint::is_necessarily_closed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Linear_Expression.inlines.hh Linear_Ex ...
by Matthew Mundell 27 Nov '05

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 17:48:54 Modified files: src : Linear_Expression.inlines.hh Linear_Expression.defs.hh Congruence.inlines.hh Congruence.defs.hh Congruence.cc Log message: Get the size in Congruence(c) via the space_dimension(). Add flag `capacity' to Congruence(le,m). Use Linear_Expression(le,sz) in the Congruence %= operators. Take out Linear_Expression(le,sz,capacity). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… 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 STANDARDS
by Matthew Mundell 27 Nov '05

27 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-27 17:37:23 Modified files: . : STANDARDS Log message: Take out section "Standards for the Test Programs". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&on…

1 0

Prolog docs
by Samir Genaim 27 Nov '05

27 Nov '05

The documentation of the Prolog predicates: ppl_Polyhedron_contains_Polyhedron/2 and ppl_Polyhedron_strictly_contains_Polyhedron/2 is not correct: "is included" should be contains (as it in the C interface docs). -- Samir

2 3

ppl/src Row.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 15:53:49 Modified files: src : Row.defs.hh Log message: Take out the Congruence_System friend declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src Polyhedron_public.cc
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 14:08:44 Modified files: src : Polyhedron_public.cc Log message: Take out a query that relates to the trunk. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/Grid affinepreimage1.cc
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 14:04:58 Modified files: tests/Grid : affinepreimage1.cc Log message: Simplify a congruence in test8. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage1.cc…

1 0

ppl STANDARDS
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 14:00:19 Modified files: . : STANDARDS Log message: Mention that OK is called in find_variation_template. Give an example of calling find_variation_template. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&on…

1 0

ppl/src Matrix.cc
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 13:57:48 Modified files: src : Matrix.cc Log message: Improve a comment in add_recycled_row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Grid_widenings.cc Grid_public.cc Grid_ ...
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:42:39 Modified files: src : Grid_widenings.cc Grid_public.cc Grid_nonpublic.cc Grid_chdims.cc Log message: In is_included_in merge some BE_LAZY=0 code into the BE_LAZY=1 case, and check if `x' is empty after minimization when BE_LAZY is 0. In minimize() call simplify instead of update_generators and update_congruences, where possible. Reduce all update_congruence calls to account for the fact the resulting grid always contains at least one point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0