October 2001 - PPL-devel - BUGSENG Mailman

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

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-19 17:12:58 Modified files: src : Generator.defs.hh Constraint.defs.hh Log message: Constraint and Generator are :: PPL_INTERNAL Row instead of :: public Row (like LinExpression). Patches: 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/Constraint.defs.hh.diff?c…

1 0

w3ppl/htdocs/Download rsync.raw
by Patricia Hill 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2001-10-19 17:10:40 Modified files: htdocs/Download: rsync.raw Log message: A small English change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/rsync.raw.d…

1 0

w3ppl/htdocs/Download requirements.raw
by Patricia Hill 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2001-10-19 16:54:11 Modified files: htdocs/Download: requirements.raw Log message: English tidied. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

w3ppl/htdocs/Download Download.raw
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 16:35:19 Modified files: htdocs/Download: Download.raw Log message: Completed (even though we may want to add more tips for non-experts). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

ppl ./Makefile.am ./depcomp ./install-sh ./ppl ...
by Roberto Bagnara 19 Oct '01

19 Oct '01

1 0

ppl/src LinExpression.defs.hh LinExpression.in ...
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 14:15:05 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh Log message: We now have only one sizing constructor, and it is private. Patches: 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/LinExpression.inlines.hh.…

1 0

ppl/src conversion.cc minimize.cc simplify.cc ...
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 12:49:12 Modified files: src : conversion.cc minimize.cc simplify.cc Matrix.cc Log message: Old junk removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

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

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-19 12:15:46 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: In functions widening_assign and limited_widening_assign considered the case of empty-polyhedron and the exception for the different dimension of the polyhedra and the matrix (this for the limited_widening); added some explanations for the parameters. In function assign_variable and substitute_variable considered the exceptions for the variable that is not inside the polyhedron and the expression that does not have the right dimension. 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

w3ppl/htdocs Documentation/Documentation.raw D ...
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 11:41:08 Modified files: htdocs/Documentation: Documentation.raw htdocs/Download: requirements.raw Log message: Talk about Doxygen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 11:25:28 Modified files: htdocs/Download: requirements.raw Log message: Add a discussion about the necessity of kgcc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0