- PPL-devel - BUGSENG Mailman

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

ppl/tests Makefile.am affineimage3.cc affinepr ...
by Elisa Ricci 19 Sep '02

19 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-19 17:16:37 Modified files: tests : Makefile.am Added files: tests : affineimage3.cc affinepreimage5.cc relations10.cc relations11.cc Log message: Added some tests for the methods of the classes Polyhedron, ConSys and GenSys. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage3.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage5.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations10.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations11.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests Makefile.am exceptions2.cc adddimens ...
by Elisa Ricci 18 Sep '02

18 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-18 11:54:42 Modified files: tests : Makefile.am exceptions2.cc Added files: tests : adddimensions11.cc Log message: Added two other tests to verify the methods of the class Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions11.cc.diff… 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/exceptions2.cc.diff?cvs…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 18 Sep '02

18 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-18 10:27:03 Modified files: src : Polyhedron.cc Log message: Made some little improvements to the function Polyhedron::BBRZ02_widenin_assign(). Improved also some comments of this function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am exceptions2.cc h79wideni ...
by Elisa Ricci 17 Sep '02

17 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-17 18:44:53 Modified files: tests : Makefile.am exceptions2.cc h79widening5.cc minconstraints2.cc Added files: tests : contains1.cc Log message: Improved some tests and added other tests to verify some methods of Polyhedron.cc and C_Polyhedron.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains1.cc.diff?cvsro… 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/exceptions2.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening5.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints2.cc.diff…

1 0

ppl/tests Makefile.am addconstraints10.cc bbrz ...
by Elisa Ricci 17 Sep '02

17 Sep '02

1 0

ppl/tests Makefile.am timeelapse6.cc
by Elisa Ricci 12 Sep '02

12 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-12 18:17:11 Modified files: tests : Makefile.am Added files: tests : timeelapse6.cc Log message: Added a new test for the function Polyhedron::time_elapse_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse6.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 12 Sep '02

12 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-12 16:30:17 Modified files: src : Polyhedron.cc Log message: Corrected an error in Polyhedron::BBRZ02_widening_assign(): the new generator was added to the polyhedron x instead of the polyhedron x2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0