November 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/Ciao ppl_ciao.cc
by Roberto Bagnara 08 Nov '02

08 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-08 17:59:27 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc Log message: Fixed two critical bugs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

Problem (with fix) concerning GMP's C++ random number class
by Roberto Bagnara 08 Nov '02

08 Nov '02

If you take the following code, that comes straight from the manual of GMP 4.1, and try to compile it with a strictly conforming C++ compiler, you will see that it does not compile. --------------------------------------------- #include <gmpxx.h> void foo() { gmp_randclass rg(gmp_randinit_default); } --------------------------------------------- The reason is that, while the constructors for `gmp_randclass' have all been declared to take a C++ function pointer, the invocation above passes a C function pointer. This is not allowed by the C++ standard. One possibility to rectify things is the patch below, which changes the declarations of the constructors. Of course, the dual change is also possible, the point being that C linkage and C++ linkage are incompatible. 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 *** /usr/local/distrib/gmp-4.1/gmpxx.h 2002-05-08 01:09:50.000000000 +0200 --- gmpxx.h 2002-11-05 15:03:05.000000000 +0100 *************** *** 4968,4973 **** --- 4968,4981 ---- } }; + extern "C" typedef void GMP_RANDINIT_DEFAULT(gmp_randstate_t); + extern "C" typedef void GMP_RANDINIT_LC_2EXP(gmp_randstate_t, + mpz_srcptr, + unsigned long int, + unsigned long int); + extern "C" typedef void GMP_RANDINIT_LC_2EXP_SIZE(gmp_randstate_t, + unsigned long int); + class gmp_randclass { private: *************** *** 4988,5004 **** } // gmp_randinit_default ! gmp_randclass(void (*f)(gmp_randstate_t)) { f(state); } // gmp_randinit_lc_2exp ! gmp_randclass(void (*f)(gmp_randstate_t, mpz_srcptr, ! unsigned long int, unsigned long int), mpz_class z, unsigned long int l1, unsigned long int l2) { f(state, z.get_mpz_t(), l1, l2); } // gmp_randinit_lc_2exp_size ! gmp_randclass(int (*f)(gmp_randstate_t, unsigned long int), unsigned long int size) { f(state, size); } --- 4996,5011 ---- } // gmp_randinit_default ! gmp_randclass(GMP_RANDINIT_DEFAULT* f) { f(state); } // gmp_randinit_lc_2exp ! gmp_randclass(GMP_RANDINIT_LC_2EXP* f, mpz_class z, unsigned long int l1, unsigned long int l2) { f(state, z.get_mpz_t(), l1, l2); } // gmp_randinit_lc_2exp_size ! gmp_randclass(GMP_RANDINIT_LC_2EXP_SIZE* f, unsigned long int size) { f(state, size); }

2 3

ppl/src Polyhedron.cc Polyhedron.inlines.hh Po ...
by Elisa Ricci 08 Nov '02

08 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-08 12:20:14 Modified files: src : Polyhedron.cc Polyhedron.inlines.hh Polyhedron.defs.hh Log message: Added to a polyhedron the system of pending constraints and the system of pending generators. Added the methods that set the flags used for the pending systems and Polyhedron::remove_pending_and_minimize(), Polyhedron::remove_pending_to_obtain_constraints() and Polyhedron::remove_pending_to_obtain_generators(). Started to consider the pending systems and in particular used them operator<=(x, y), Polyhedron::intersection_assign_and_minimize(y) and Polyhedron::intersection_assign(y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Status.cc
by Elisa Ricci 08 Nov '02

08 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-08 12:13:11 Modified files: src : Status.cc Log message: Modified Status::OK() so that it also verify if the polyhedron has both pending constraints and pending generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=pp…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 08 Nov '02

08 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-08 12:10:52 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Added missing patterns to MOSTLYCLEANFILES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/tests ascii_dump_load3.cc ascii_dump_load4 ...
by Roberto Bagnara 08 Nov '02

08 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-08 10:41:00 Modified files: tests : ascii_dump_load3.cc ascii_dump_load4.cc ascii_dump_load5.cc ascii_dump_load6.cc Log message: Be noisy when NOISY. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load4.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load5.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load6.cc.dif…

1 0

ppl/tests ascii_dump_load7.cc
by Roberto Bagnara 08 Nov '02

08 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-08 10:40:41 Modified files: tests : ascii_dump_load7.cc Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load7.cc.dif…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 08 Nov '02

08 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-08 10:34:20 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Add fake_main.pl and ciao_clpq.pl to EXTRA_DIST. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.inlines. ...
by Elisa Ricci 07 Nov '02

07 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-07 18:32:27 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Status.cc Status.defs.hh Status.inlines.hh Log message: Added in the Status the flags that say if the polyhedron has something pending. Added the methods that check these flags. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.inlines.hh.diff?cv…

1 0

ppl/src SatMatrix.cc SatMatrix.defs.hh SatMatr ...
by Elisa Ricci 07 Nov '02

07 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-07 16:45:30 Modified files: src : SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh Log message: Erased SatMatrix::transpose(), operator==(const SatMatrix& x, const SatMatrix& y) and operator!=(const SatMatrix& x, const SatMatrix& y), because they were never used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff…

1 0