- PPL-devel - BUGSENG Mailman

w3ppl/htdocs Makefile ppl.raw templates/choice ...
by Roberto Bagnara 20 Oct '01

20 Oct '01

1 0

w3ppl/htdocs/Applications
by Roberto Bagnara 20 Oct '01

20 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-20 13:45:07 w3ppl/htdocs/Applications Update of /cvs/ppl/w3ppl/htdocs/Applications In directory spartacus.cs.unipr.it:/tmp/cvs-serv32580/Applications Log Message: Directory /cvs/ppl/w3ppl/htdocs/Applications added to the repository

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 20 Oct '01

20 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-20 13:22:08 Modified files: htdocs : ppl.raw Log message: There was a missing "take" in "take place". Wicked which removed. <STRONG> is now used to indicate the PPL major features. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

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

20 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-20 12:28:48 Modified files: htdocs/Download: Download.raw Log message: Added a section on package verification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

ppl src/Polyhedron.defs.hh doc/definitions.dox
by Elisa Ricci 20 Oct '01

20 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-20 12:22:56 Modified files: src : Polyhedron.defs.hh doc : definitions.dox Log message: Moved the definition of the universe polyhedron after the definition of the 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/doc/definitions.dox.diff?cvsr…

1 0

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

20 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-20 11:47:24 Modified files: src : GenSys.cc GenSys.defs.hh Polyhedron.cc Polyhedron.defs.hh Status.defs.hh conversion.cc Log message: Now, we always use `system of' instead of `set of' for GenSys and ConSys. In the comment of polyhedron added the explanation of what an universal polyhedron is. Some changes to the comment of the exception: we say that they "have different dimension" instead of that they "do not have the same dimension". Patches: 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… 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 LinExpression.defs.hh
by Elisa Ricci 20 Oct '01

20 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-20 10:26:29 Modified files: src : LinExpression.defs.hh Log message: In the second part of the example, we can use LinExpression e = LinExpression(14) instead of LinExpression e = LinExpression(Integer(14)). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

w3ppl/htdocs People/People.raw Projects/Projec ...
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 22:24:45 Modified files: htdocs/People : People.raw htdocs/Projects: Projects.raw Log message: These should be finished. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/People/People.raw.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Projects/Projects.ra…

1 0

ppl/doc user-browse.doxyconf-latex.in user-pri ...
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 20:07:42 Modified files: doc : user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in Log message: No INTERNAL_DOCS, no INHERIT_DOCS, no FILE_PATTERNS, and no EXCLUDE_PATTERNS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-late… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh
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 19:57:23 Modified files: src : ConSys.defs.hh GenSys.defs.hh Log message: Use PPL_INTERNAL inheritance. 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…

1 0