October 2001 - PPL-devel - BUGSENG Mailman

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

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-17 12:55:53 Modified files: doc : definitions.dox Log message: Definitions of linearly independent and affinely independent improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

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

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-17 12:38:06 Modified files: src : Constraint.defs.hh Generator.defs.hh LinExpression.defs.hh Log message: Now, "friend" mathods are inside the class documentation of these class. In the "Detail Description" of the class LinExpression there is the paragraph "How to build a linear expression". 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

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

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-17 12:03:22 Modified files: src : Polyhedron.defs.hh Log message: Used "check_not_empty" instead of "check_satisfiable" also in the comment of function Polyhedron::OK(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh Matrix.d ...
by Elisa Ricci 17 Oct '01

17 Oct '01

1 0

ppl/src ConSys.cc ConSys.defs.hh GenSys.cc Gen ...
by Elisa Ricci 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-17 11:05:54 Modified files: src : ConSys.cc ConSys.defs.hh GenSys.cc GenSys.defs.hh Polyhedron.cc Polyhedron.defs.hh Log message: In function assign_variable and substitute_variable and in their comments used "expr" instead of "coefficient". Used the concatenation of two strings in the argument of std::invalid_argument(...). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… 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.cc.diff?cvsroot=pp… 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…

1 0

ppl/src Generator.inlines.hh
by Elisa Ricci 17 Oct '01

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-17 11:03:38 Modified files: src : Generator.inlines.hh Log message: Used the concatenation of two strings in the argument of std::invalid_argument(...). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff…

1 0

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

17 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-17 10:14:54 Modified files: src : Polyhedron.defs.hh Log message: Erased the temporary debug constructor of a polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src ConSys.cc ConSys.defs.hh GenSys.cc Gen ...
by Elisa Ricci 17 Oct '01

17 Oct '01

1 0

BitSet and Integer are now in the PPL namespace
by Roberto Bagnara 17 Oct '01

17 Oct '01

Please, replace the contents of your ppl/src/BitSet directory with the contents of spartacus.cs.unipr.it:/opt/ppl-distrib/BitSet. This is the only thing you should do, apart from cvs-updating the rest of your copy of the sources. Ciao, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/src ConSys.cc GenSys.cc Generator.inlines. ...
by Roberto Bagnara 17 Oct '01

17 Oct '01

1 0