July 2002 - PPL-devel - BUGSENG Mailman

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

ppl/interfaces/Prolog pl_check.pl
by Roberto Bagnara 29 Jul '02

29 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-07-29 07:39:16 Modified files: interfaces/Prolog: pl_check.pl Log message: Comment removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog pl_check.pl
by Roberto Bagnara 29 Jul '02

29 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-29 07:35:44 Modified files: interfaces/Prolog: pl_check.pl Log message: Comment removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl NEWS
by Roberto Bagnara 29 Jul '02

29 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-07-29 07:26:20 Modified files: . : NEWS Log message: Mention the fixes to Polyhedron::check_universe() and NNC_Polyhedron::NNC_Polyhedron(ConSys& cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_wi…

1 0

ppl tests/universe6.cc src/ConSys.cc src/GenSy ...
by Enea Zaffanella 29 Jul '02

29 Jul '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: zaffanella(a)cs.unipr.it 2002-07-29 01:08:02 Modified files: tests : universe6.cc src : ConSys.cc GenSys.cc Polyhedron.cc Log message: The following corrections made on HEAD are now reported in the ppl-0_4-branch: - fixed a bug in ConSys/GenSys.adjust_topology_and_dimension() - fixed a bug in Polyhedron::check_universe(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe6.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… 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/Polyhedron.cc.diff?cvsroo…

1 0