September 2005 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh Polyhedron.inlines.hh
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 10:35:27 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Log message: New method void upper_bound_assign(const Polyhedron& y) is the same as poly_hull_assign(y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-03 10:15:30 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Corrected to match the new specifications for Polyhedron::maximize(), Polyhedron::minimize() and Constraint_System::primal_simplex(). Also corrected a memory leak bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/interfaces C/ppl_c.cc C/ppl_c.h.in Prolog/ ...
by Enea Zaffanella 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-03 10:13:20 Modified files: interfaces/C : ppl_c.cc ppl_c.h.in interfaces/Prolog: ppl_prolog.icc Log message: Interfaces updated to match the new specifications of Polyhedron::maximize(), Polyhedron::minimize() and Constraint_System::primal_simplex(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/src BD_Shape.inlines.hh Constraint_System. ...
by Enea Zaffanella 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-03 10:11:22 Modified files: src : BD_Shape.inlines.hh Constraint_System.defs.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_nonpublic.cc simplex.cc Log message: Corrected a bug in the implementation of Constraint_System::primal_simplex() whereby a feasible solution was claimed even for inconsistent constraint systems. Added private method Simplex_Status Constraint_System::primal_simplex(obj, gen) that maximizes obj on the low-level polyhedron (i.e., the eps-polyhedron if topology is NNC) encoded by the constraint system. New method used to correct a bug in the implementation of Polyhedron::minimized_constraints() whereby the constraint system could have been marked minimized even if it was not. Simplified the interfaces of methods Polyhedron::minimize(), Polyhedron::maximize(), Constraint_System::primal_simplex() by avoiding memory-leakage prone parameter passing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/tests/Polyhedron Makefile.am primalsimplex1.cc
by Enea Zaffanella 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-02 23:35:42 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: primalsimplex1.cc Log message: This test shows an error in Constraint_System::primal_simplex(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/primalsimple… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src Grid.defs.hh Grid_public.cc
by Roberto Bagnara 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-09-02 20:21:10 Modified files: src : Grid.defs.hh Grid_public.cc Log message: Use the global DEGENERATE_ELEMENT enum instead of the local DEGENERATE_KIND. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Congruence.inlines.hh
by Matthew Mundell 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-02 19:15:18 Modified files: src : Congruence.inlines.hh Log message: Compute the row capacity in Congruence(c). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif…

1 0

ppl/tests/Grid Makefile.am addconstraints1.cc
by Matthew Mundell 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-02 18:54:21 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : addconstraints1.cc Log message: Add addconstraints1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Congruence.inlines.hh
by Matthew Mundell 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-02 18:53:21 Modified files: src : Congruence.inlines.hh Log message: Account for the extra element in NNC constraints in Congruence(c). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 02 Sep '05

02 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-02 18:51:31 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Dividing by 10 the parameter GLOBALSTKSIZE seems to help testing with clpq2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0