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
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…
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…
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…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-10-10 11:20:44
Modified files:
src : Polyhedron.cc
Log message:
Some improvements to the third technique of
Polyhedron::BBRZ02_widening_assign():
- the test y.relation_with(x_g) == Poly_Gen_Relation::nothing() is done
after testing if x_g is a ray;
- corrected the test of the elements of the vector "considered";
- now we use a const reference x_g (for x.gen_sys[i]) to find how it
evolved since a ray of "y" and a copy of "x_g" to built the new ray.
Use "H79_con_sys" instead of "common_con_sys" in
Polyhedron::BBRZ02_widening_assign() and in Polyhedron::H79_widening_assign().
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
