June 2002 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs ppl.raw
by Roberto Bagnara 30 Jun '02

30 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-06-30 22:48:09 Modified files: htdocs : ppl.raw Log message: The hyperspaces can be open or closed, not just closed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/bin ppl_release
by Roberto Bagnara 30 Jun '02

30 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-06-30 22:47:39 Modified files: bin : ppl_release Log message: Several bugs have been fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/ppl_release.diff?cvsroo…

1 0

ppl STANDARDS
by Roberto Bagnara 30 Jun '02

30 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-30 22:39:36 Modified files: . : STANDARDS Log message: Use the same form of headings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl README
by Roberto Bagnara 30 Jun '02

30 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-30 22:37:03 Modified files: . : README Log message: Mention the support for NNC polyhedra. Updated for PPL 0.4. Organization of source distributions updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

Doxygen treatment of @name about to change
by Roberto Bagnara 30 Jun '02

30 Jun '02

Please note the following excerpt from the new CVS version of Doxygen: + CHG: @name now automatically starts a member group section (previously a @{ command was needed). The member group continues until a new @name command is found or until the end of a compound is reached. @{ ... @} commands can still be used for backward compatibility or to end a member group before the end of a compound. @defgroup and friends still require explicit @{ ... @} blocks. -- Prof. 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/interfaces/Prolog/GNU ppl_gprolog.pl
by Patricia Hill 30 Jun '02

30 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-30 22:08:49 Modified files: interfaces/Prolog/GNU: ppl_gprolog.pl Log message: Bug fixed in limited_H79_widening_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl ppl.spec.in
by Roberto Bagnara 30 Jun '02

30 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-30 21:15:50 Modified files: . : ppl.spec.in Log message: Mention not necessarily closed convex polyhedra in the main %description. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

The last three commits...
by Roberto Bagnara 30 Jun '02

30 Jun '02

... are not real. The corresponding mail messages simply escaped my system while I was testing the script that will automate the release process. Just ignore them. Sorry about the inconvenience Roberto -- Prof. 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 configure.ac
by Roberto Bagnara 30 Jun '02

30 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-06-30 21:07:09 Modified files: . : configure.ac Log message: Update version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ChangeLog
by Roberto Bagnara 30 Jun '02

30 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-06-30 21:07:08 Modified files: . : ChangeLog Log message: Mark ChangeLog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&on…

1 0