September 2002 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation Documentation.raw
by Roberto Bagnara 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-09-24 18:15:50 Modified files: htdocs/Documentation: Documentation.raw Log message: New presentations added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

w3ppl/htdocs/Documentation PPL_Seminar_Iremia_ ...
by Roberto Bagnara 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-09-24 17:32:14 Modified files: htdocs/Documentation: PPL_Seminar_Iremia_2002.pdf PPL_Seminar_Iremia_2002.ps.gz Added files: htdocs/Documentation: PPL_Talk_ITCLS_2002.pdf PPL_Talk_ITCLS_2002.ps.gz PPL_Talk_SAS_2002.pdf PPL_Talk_SAS_2002.ps.gz Log message: New PPL presentations added. Consistenly regenerated the PDF and PostScript for Iremia seminar. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se…

1 0

ppl ./NEWS src/GenSys.cc src/Polyhedron.cc
by Enea Zaffanella 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: zaffanella(a)cs.unipr.it 2002-09-24 15:36:01 Modified files: . : NEWS src : GenSys.cc Polyhedron.cc Log message: Reported to the ppl-0_4-branch the corrections to a couple of bugs affecting methods GenSys::insert(const Generator& ) and Polyhedron::add_generator(const Generator& ). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_wi… 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

ppl src/ConSys.cc tests/Makefile.am tests/rela ...
by Enea Zaffanella 24 Sep '02

24 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: zaffanella(a)cs.unipr.it 2002-09-24 10:34:42 Modified files: src : ConSys.cc tests : Makefile.am Added files: tests : relations14.cc Log message: Added the test showing a bug when invoking method Polyhedron::relation_with(const Generator& ). Implemented the correction in method ConSys::satisfies_all_constraints(const Generator& ). Patches: 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/tests/relations14.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests Makefile.am relations11.cc relations ...
by Elisa Ricci 23 Sep '02

23 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-23 17:15:58 Modified files: tests : Makefile.am relations11.cc Added files: tests : relations15.cc relations16.cc Log message: Added two tests for the methods of the class GenSys and corrected an error in the comment of the test relations11.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations15.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations16.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations11.cc.diff?cvs…

1 0

ppl ./NEWS src/ConSys.cc
by Enea Zaffanella 23 Sep '02

23 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-23 12:57:34 Modified files: . : NEWS src : ConSys.cc Log message: Corrected a bug in ConSys::satisfies_all_constraints(const Generator& ) which was affecting the public method Polyhedron::relation_with(const Generator& ). The bug reported on the NEWS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.35… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/tests Makefile.am relations13.cc relations ...
by Enea Zaffanella 23 Sep '02

23 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-23 11:55:34 Modified files: tests : Makefile.am Added files: tests : relations13.cc relations14.cc Log message: A couple of new tests. relations14 shows a bug in the implementation of ConSys::satisfies_all_constraints(const Generator& g) const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations13.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations14.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

w3ppl/htdocs/Documentation ppl.bib BagnaraHZ02 ...
by Roberto Bagnara 23 Sep '02

23 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-09-23 09:28:53 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation: BagnaraHZ02a.pdf Log message: BagnaraHZ02a added. 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/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 23 Sep '02

23 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-09-23 08:36:44 Modified files: htdocs/Documentation: ppl.bib Log message: BagnaraRZH02 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/tests Makefile.am relations10.cc addconstr ...
by Elisa Ricci 20 Sep '02

20 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-20 11:54:30 Modified files: tests : Makefile.am relations10.cc Added files: tests : addconstraints11.cc affinepreimage6.cc relations12.cc Log message: Added other tests for some methods of the classes ConSys and GenSys. Corrected the comment of the test in relations10.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints11.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage6.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations12.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations10.cc.diff?cvs…

1 0