October 2001 - PPL-devel - BUGSENG Mailman

ppl/src Constraint.defs.hh Generator.defs.hh
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 19:05:43 Modified files: src : Constraint.defs.hh Generator.defs.hh Log message: Changed the place of the paragraph "How to build ...". In the comment of 'Generator operator /=' used std::invalid_argument instead of invalid_argument. Patches: 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/Generator.defs.hh.diff?cv…

1 0

ppl/src Polyhedron.defs.hh
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 18:59:44 Modified files: src : Polyhedron.defs.hh Log message: Used std::invalid_argument instead of invalid_argument in the documentation of exception. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/doc definitions.dox ppl.sty
by Patricia Hill 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-16 18:54:14 Modified files: doc : definitions.dox ppl.sty Log message: More definitions added to ppl.sty. New definitions used in definitions.dox. Layout of formula in Minkowski's theorem improved. 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/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh Polyhedr ...
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 18:23:25 Modified files: src : ConSys.defs.hh GenSys.defs.hh Polyhedron.cc Polyhedron.defs.hh Status.defs.hh conversion.cc Log message: Used "\Rset" instead of "\mathbb{R}". Patches: 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/GenSys.defs.hh.diff?cvsro… 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/src/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src Constraint.defs.hh LinExpression.defs. ...
by Enea Zaffanella 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-16 18:18:02 Modified files: src : Constraint.defs.hh LinExpression.defs.hh Variable.defs.hh Log message: Examples on the creation of linear expressions and constraints moved to the right place. Comment about variable names moved into the definition of the class Variable. Patches: 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/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0

ppl/src Generator.defs.hh
by Enea Zaffanella 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-16 18:06:53 Modified files: src : Generator.defs.hh Log message: The examples on how to build generators moved to the right place. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/tests error1.cc error2.cc
by Roberto Bagnara 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-16 17:34:15 Modified files: tests : error1.cc error2.cc Log message: There is no point in including print.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error1.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error2.cc.diff?cvsroot=…

1 0

ppl/doc definitions.dox ppl.sty
by Patricia Hill 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-16 17:33:10 Modified files: doc : definitions.dox ppl.sty Log message: Some logic notation and "things that hold by definition" added to ppl.sty \mathbb{R} replaced by \Rset in definitions.dox 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/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh s ...
by Roberto Bagnara 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-16 17:32:45 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Variable.defs.hh Variable.inlines.hh tests : append.cc Log message: The argument of Polyhedron::remove_dimensions() has changed again. Now it is remove_dimensions(const std::set<Variable>& to_be_removed). 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/src/Variable.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append.cc.diff?cvsroot=…

1 0

ppl/tests Makefile.am error2.cc
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 17:24:15 Modified files: tests : Makefile.am Added files: tests : error2.cc Log message: Added a test for the expception of Polyhedron::assign_variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error2.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0