November 2001 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus clpq.pl
by Roberto Bagnara 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-02 17:55:36 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Use ppl_remove_higher_dimensions/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc p ...
by Roberto Bagnara 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-02 17:54:47 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc ppl_sicstus.pl Log message: Added ppl_remove_higher_dimensions/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Roberto Bagnara 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-02 17:53:04 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: New method drafted: void Polyhedron::remove_higher_dimensions(size_t new_dimension). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh t ...
by Elisa Ricci 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-11-02 17:22:58 Modified files: src : Polyhedron.cc Polyhedron.defs.hh tests : addconstraints1.cc append1.cc append2.cc error3.cc permute.cc Log message: The Polyhedron::add_constraints now is Polyhedron::add_constraints_and_minimize, while Polyhedron::add_constraints_lazy now is only Polyhedron::add_constraints. The Polyhedron::convex_hull_assign now is Polyhedron::convex_hull_assign_and_minimize, while Polyhedron::convex_hull_assign_lazy now is Polyhedron::convex_hull_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… 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/tests/addconstraints1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl
by Roberto Bagnara 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-02 16:48:14 Modified files: interfaces/Prolog/SICStus: clpq.pl Log message: Some infrastructure added to simplify loading programs and trying them. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

ppl doc/definitions.dox src/ConSys.defs.hh src ...
by Enea Zaffanella 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-11-02 15:18:24 Modified files: doc : definitions.dox src : ConSys.defs.hh Constraint.defs.hh GenSys.defs.hh Generator.defs.hh LinExpression.defs.hh Polyhedron.defs.hh Log message: A further scan on almost all user documentation in order to better comment on space-dimensionality checks. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… 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/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog/SICStus clpq.pl solve.pl
by Roberto Bagnara 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-02 14:09:10 Added files: interfaces/Prolog/SICStus: clpq.pl Removed files: interfaces/Prolog/SICStus: solve.pl Log message: Renamed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/src Matrix.cc
by Roberto Bagnara 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-02 14:00:08 Modified files: src : Matrix.cc Log message: Matrix::resize_no_copy() improved. It now preserves the sortedness flag in the easy cases. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-02 13:28:20 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Comments added throughout. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/src Row.cc
by Elisa Ricci 02 Nov '01

02 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-11-02 09:01:02 Modified files: src : Row.cc Log message: In a comment of operator *(Row, Row) used "dimension-compatible", instead of "dimension-compatibility". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0