- PPL-devel - BUGSENG Mailman

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

30 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-30 12:38:51 Modified files: htdocs : news.raw ppl.raw Log message: Announce the release of version 0.4.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl configure.ac
by Roberto Bagnara 30 Jul '02

30 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-30 11:14:57 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 Jul '02

30 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-30 11:14:51 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

ppl/Watchdog ChangeLog
by Roberto Bagnara 30 Jul '02

30 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-30 11:14:20 Modified files: Watchdog : ChangeLog Log message: Mark ChangeLog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0

ppl ChangeLog
by Roberto Bagnara 30 Jul '02

30 Jul '02

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

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 29 Jul '02

29 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-29 22:41:38 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Added files: htdocs/Documentation: BagnaraRZH02.pdf Log message: Entry for BagnaraRZH02 completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 29 Jul '02

29 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-29 22:07:28 Modified files: htdocs/Links : Links.raw Log message: Minor improvement to the list of brother projects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 29 Jul '02

29 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-29 22:05:26 Modified files: htdocs/Links : Links.raw Log message: Brother projects added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl COPYING INSTALL config.guess config.sub de ...
by Roberto Bagnara 29 Jul '02

29 Jul '02

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 29 Jul '02

29 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-07-29 10:06:25 Modified files: src : Polyhedron.cc Log message: Added an assertions to add_constraints(ConSys& cs). Also added a test for emptyness, to avoid adding constraints to a polyhedron already known to be empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0