October 2002 - PPL-devel - BUGSENG Mailman

ppl doc/fdl.dox doc/gpl.dox interfaces/Prolog/ ...
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 14:37:31 Modified files: doc : fdl.dox gpl.dox interfaces/Prolog: Prolog_interface.dox Log message: Sectioning fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/fdl.dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/doc bib2dox definitions.dox bib2html1.sed ...
by Roberto Bagnara 12 Oct '02

12 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-12 09:21:45 Modified files: doc : bib2dox definitions.dox Added files: doc : bib2html1.sed bib2html2.sed Removed files: doc : bib2html2dox.sed Log message: Improvements to the machinery we use to build the bibliography section of the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html1.sed?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html2.sed?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html2dox.sed.diff?cvs…

1 0

ppl/tests Makefile.am stronglyminimize1.cc str ...
by Elisa Ricci 11 Oct '02

11 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-11 18:41:08 Modified files: tests : Makefile.am Added files: tests : stronglyminimize1.cc stronglyminimize2.cc stronglyminimize3.cc Log message: Added three tests for Polyhedron::strongly_minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize2.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/stronglyminimize3.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 11 Oct '02

11 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-11 18:33:33 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Use the new C interface provided by YAP. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

New and improved C interface
by Roberto Bagnara 11 Oct '02

11 Oct '02

Hi there, I just would like to say that I have switched to the new foreign C interface in CVS (i.e., I now #include <Yap/YapInterface.h> instead of <Yap/c_interface.h>) and everything works great. Well done! All the best 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/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 11 Oct '02

11 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-11 16:32:19 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Mention other problems we had with the GNU Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src Polyhedron.defs.hh
by Elisa Ricci 11 Oct '02

11 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-11 12:53:00 Modified files: src : Polyhedron.defs.hh Log message: Polyhedron::strongly_minimize() is now public, but the user can not see its documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests Makefile.am addconstraint2.cc concat ...
by Elisa Ricci 11 Oct '02

11 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-11 11:49:42 Modified files: tests : Makefile.am Added files: tests : addconstraint2.cc concatenate5.cc intersection10.cc polydifference7.cc polyhull8.cc Log message: Added these tests to verify some methods of the class Polyhedron in the case of empty or zero dimensional polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraint2.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate5.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/intersection10.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference7.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull8.cc?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests generalizedaffineimage10.cc
by Elisa Ricci 11 Oct '02

11 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-11 11:46:58 Modified files: tests : generalizedaffineimage10.cc Log message: Added two tests to verify Polyhedron::generalized_affine_image(lhs, r, rhs) when the set of variables of left hand side and the set of the variable of the right hand side are disjoint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage1…

1 0

ppl/tests Makefile.am generalizedaffineimage10.cc
by Elisa Ricci 10 Oct '02

10 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-10 17:47:38 Modified files: tests : Makefile.am Added files: tests : generalizedaffineimage10.cc Log message: Added a new test for Polyhedron::generalized_affine_image(lhs, r, rhs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0