October 2001 - PPL-devel - BUGSENG Mailman

ppl/src ConSys.defs.hh ConSys.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 12:04:14 Modified files: src : ConSys.defs.hh ConSys.cc Log message: Now substitute_variable uses LinExpression instead of a vector<Integer>. 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/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src GenSys.defs.hh GenSys.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 12:03:05 Modified files: src : GenSys.defs.hh GenSys.cc Log message: Now assign_variable(..) uses an LinExpression instead of a vector<Integer>. Patches: 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/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src LinExpression.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 11:59:52 Modified files: src : LinExpression.defs.hh Log message: Now LinExpression is PPL_INTERNAL Row, instead of private Row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl src/Generator.inlines.hh tests/Makefile.am ...
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 10:56:11 Modified files: src : Generator.inlines.hh tests : Makefile.am Added files: tests : error1.cc Log message: Throw an invalid_argument exception if Generator operator /=(const LinExpression& e, const Integer& n) is called with n == 0. New test program error1.cc to test whether this situation is correctly handled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff… 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/Makefile.am.diff?cvsroo…

1 0

ppl README
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 10:54:14 Modified files: . : README Log message: New incipit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl/src Matrix.defs.hh Row.defs.hh SatMatrix.d ...
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 10:53:28 Modified files: src : Matrix.defs.hh Row.defs.hh SatMatrix.defs.hh SatRow.defs.hh Log message: All the specializations of the std::swap function related to implementation classes are now hidden from the user guide. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro…

1 0

ppl ppl.spec.in
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 10:53:11 Modified files: . : ppl.spec.in Log message: Summary changed. Packager also changed in view of PGP signatures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl/src Polyhedron.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 10:20:36 Modified files: src : Polyhedron.defs.hh Log message: The parameter name of the "default" constructor for Polyhedron is `kind'. Hal the comment was using a different parameter name (`full'). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src GenSys.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 10:15:26 Modified files: src : GenSys.defs.hh Log message: In the examples, replaced "\=" by "/=". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

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 10:13:15 Modified files: src : Generator.defs.hh Log message: In the examples for defining vectors, all "\=" replaced by "/=". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0