- PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Makefile.am ppl_prolog.i ...
by Roberto Bagnara 08 Jun '02

08 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-08 17:41:51 Modified files: interfaces/Prolog: Makefile.am ppl_prolog.icc Removed files: interfaces/Prolog: Interval.hh Log message: Use the new implementation of bounding boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Interval.hh…

1 0

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

08 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-08 17:40:45 Modified files: tests : addconstraints2.cc Log message: Shut up if not noisy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints2.cc.diff…

1 0

ppl/src Makefile.am BoundingBox.hh Interval.cc ...
by Roberto Bagnara 08 Jun '02

08 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-08 17:39:41 Modified files: src : Makefile.am Added files: src : BoundingBox.hh Interval.cc Interval.defs.hh Interval.inlines.hh Interval.types.hh Log message: New implementation of bounding boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.types.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

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