December 2001 - PPL-devel - BUGSENG Mailman

ppl/src Row.cc
by Roberto Bagnara 23 Dec '01

23 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-23 22:28:24 Modified files: src : Row.cc Log message: Include maxmin.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 20 Dec '01

20 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-12-20 09:21:43 Modified files: src : Polyhedron.cc Log message: Modified the part of function Polyhedron::add_constraints(cs) that is controlled by "#if 0": used Matrix::grow(size_t, size_t) instead of resize(size_t, size_t) and swap instead of "=", where it is possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 15 Dec '01

15 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-15 11:58:30 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Distribute also clpq2.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/src Matrix.cc Polyhedron.cc conversion.cc
by Roberto Bagnara 15 Dec '01

15 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-15 11:45:44 Modified files: src : Matrix.cc Polyhedron.cc conversion.cc Log message: Some comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… 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/conversion.cc.diff?cvsroo…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 14 Dec '01

14 Dec '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-12-14 16:15:04 Modified files: htdocs/Documentation: ppl.bib Log message: There is no abstract in Weyl50. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/interfaces/Prolog/SICStus smmdiff.clpq
by Patricia Hill 14 Dec '01

14 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-12-14 16:06:58 Added files: interfaces/Prolog/SICStus: smmdiff.clpq Log message: smmdiff.clpq is based on smm.clpq and solves the classic send-more-money problem so that each variable is bound to a unique number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/smm…

1 0

ppl/interfaces/Prolog/SICStus clpq2.pl
by Patricia Hill 14 Dec '01

14 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-12-14 16:04:35 Added files: interfaces/Prolog/SICStus: clpq2.pl Log message: clpq2.pl is an alternative meta-interpreter with some extra features, including disjunction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clp…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 14 Dec '01

14 Dec '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-12-14 10:13:39 Modified files: htdocs/Documentation: ppl.bib Log message: Weyl35 and Weyl50 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/tests Makefile.am addgenerators1.cc addgen ...
by Elisa Ricci 13 Dec '01

13 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-12-13 16:52:48 Modified files: tests : Makefile.am Added files: tests : addgenerators1.cc addgenerators2.cc Log message: Added a test for the function Polyhedron::add_generators_and_minimize(gs) and one for the function Polyhedron::add_generators(gs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators2.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.cc
by Elisa Ricci 13 Dec '01

13 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-12-13 16:50:37 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: The function Polyhedron::add_generators(gs) now is called Polyhedron::add_generators_and_minimize(gs). Added the function Polyhedron::add_generators(gs) that adds the system of generators "gs" to the polyhedron without minimizing the resulting polyhedron. 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.cc.diff?cvsroo…

1 0