- PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Roberto Bagnara 12 Nov '02

12 Nov '02

1 0

ppl/tests memory1.cc
by Roberto Bagnara 10 Nov '02

10 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-10 17:56:49 Modified files: tests : memory1.cc Log message: Do not try to run the real test on Cygwin since the implementation of setrlimit() there is a dummy one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 10 Nov '02

10 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-10 11:31:07 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Allow to build in the sources' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl interfaces/Prolog/Ciao/.cvsignore tests/.c ...
by Roberto Bagnara 10 Nov '02

10 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-10 09:08:33 Modified files: interfaces/Prolog/Ciao: .cvsignore tests : .cvsignore Log message: Ignore more generated files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/.cvsig… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/.cvsignore.diff?cvsroot…

1 0

ppl/tests memory1.cc
by Roberto Bagnara 09 Nov '02

09 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-09 22:15:48 Modified files: tests : memory1.cc Log message: The LIMIT macro has been fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot…

1 0

ppl/interfaces/C/lpenum 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 20:10:05 Modified files: interfaces/C/lpenum: Makefile.am Log message: Do not assume the user has `.' in PATH. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am ciao_cl ...
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 18:52:26 Modified files: interfaces/Prolog/Ciao: Makefile.am ciao_clpq.pl Log message: Completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c…

1 0

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