February 2002 - PPL-devel - BUGSENG Mailman

w3ppl/bin ppl_release
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 11:30:44 Added files: bin : ppl_release Log message: This should help the release process considerably. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/ppl_release.diff?cvsroo…

1 0

PPL 0.3 release branch created
by Roberto Bagnara 26 Feb '02

26 Feb '02

The PPL 0.3 release branch has been created. The corresponding tag is `ppl-0_3-branch ppl'. The release process now begins. Ciao 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 ChangeLog
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 11:26:05 Modified files: . : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1…

1 0

ppl NEWS
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 11:21:19 Modified files: . : NEWS Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.8&…

1 0

ppl ./ChangeLog ./config.guess doc/definitions ...
by Roberto Bagnara 26 Feb '02

26 Feb '02

1 0

ppl/src Polyhedron.defs.hh
by Elisa Ricci 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-26 10:34:34 Modified files: src : Polyhedron.defs.hh Log message: Added the documentation for the exception thrown in the function Polyhedron::add_generators and Polyhedron::add_generators_and_minimize if the polyhedron is empty and the system of generators has no vertices. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Constraint.defs.hh
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 09:15:45 Modified files: src : Constraint.defs.hh Log message: Simplified the example showing how to use the Constraint::coefficient() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-26 08:58:28 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: ppl_convex_difference_assign/2 mentioned. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src conversion.cc
by Enea Zaffanella 26 Feb '02

26 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-26 02:01:03 Modified files: src : conversion.cc Log message: Another big pass on all the comments, trying to uniformize the terminology. Small changes in the code to avoid repeating tests that are useless under certain conditions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src Constraint.defs.hh
by Enea Zaffanella 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-25 22:15:04 Modified files: src : Constraint.defs.hh Log message: Small changes in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0