June 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am addconstraints2.cc bound ...
by Roberto Bagnara 08 Jun '02

08 Jun '02

1 0

ppl/interfaces/Prolog Interval.hh ppl_prolog.i ...
by Roberto Bagnara 08 Jun '02

08 Jun '02

1 0

Bug affecting mpq_class::get_num() and mpq_class::get_den()?
by Roberto Bagnara 08 Jun '02

08 Jun '02

Hi there, I believe the snippet following the signature shows a bug that is present in both GMP 4.0.1 and GMP 4.1. Please let me know if any workaround is possible. 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 /* The GMP 4.x documentation says: mpz_class& mpq_class::get_num () mpz_class& mpq_class::get_den () Get a reference to an `mpz_class' which is the numerator or denominator of an `mpq_class'. This can be used both for read and write access. If the object returned is modified, it modifies the original `mpq_class'. However, the following simple wrapper, gives, with GCC 3.0.4 $ g++ -W -Wall -c gmpbug.cc gmpbug.cc: In function `mpz_class& numerator(mpq_class&)': gmpbug.cc:24: could not convert `__gmp_expr<__gmpq_value, __gmpq_value>::get_num()' to `mpz_class&' */ #include <gmpxx.h> mpz_class& numerator(mpq_class& r) { return r.get_num(); }

1 0

Raising Prolog exceptions from C code (2nd attempt)
by Roberto Bagnara 07 Jun '02

07 Jun '02

Hi there, I am repeating here a question I have already asked on April 10 and that remained unanswered (sorry about that, but I am stuck). What is the recommended way to raise a Prolog exception from foreign C code? Is it Pl_Exec_Continuation(Find_Atom("throw"), 1, &t) where t is any variable of type PlTerm? The manual seems to suggest that, but I would like to know for sure. Moreover, even though the simple examples work without problems, trying to raise an exception this way from a rather complex C++ library almost always results in segmentation violations or illegal instructions being executed. And gdb does not seem to be of much help debugging that. Perhaps the Pl_Exec_Continuation technique works only under certain circumstances, but which ones? Is anybody out there raising exceptions from C++ code? Thanks a lot 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/doc definitions.dox
by Patricia Hill 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-07 17:31:39 Modified files: doc : definitions.dox Log message: On-going reorganisation of introduction based on some of the items suggested by Enea. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog exceptions.hh ppl_prolog.icc
by Roberto Bagnara 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 16:40:51 Modified files: interfaces/Prolog: exceptions.hh ppl_prolog.icc Log message: The function term_to_polyhedron_handle() replaces get_ph_pointer(). The new function either return a plausible polyhedron handle or throws the `not_a_polyhedron_handle' exception. All sites that used to call get_ph_pointer() have been consequently simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus_sd.cc
by Roberto Bagnara 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 16:14:32 Modified files: interfaces/Prolog/SICStus: ppl_sicstus_sd.cc Log message: Stub declarations fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-07 14:23:52 Modified files: src : Polyhedron.cc Log message: Corrected a bug in strongly_minimize_constraints() whereby sat_c was declared up-to-date even if it was not the case. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/doc definitions.dox ppl.sty
by Enea Zaffanella 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-07 13:40:34 Modified files: doc : definitions.dox ppl.sty Log message: Some further step toward the reorganization of user-manual intro. Patches: 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/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-07 13:33:25 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Documentation for the Prolog interface updated to allow for the change to more generic predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0