March 2006 - PPL-devel - BUGSENG Mailman

ppl/src Grid.defs.hh Grid_simplify.cc
by Roberto Bagnara 23 Mar '06

23 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-23 21:56:48 Modified files: src : Grid.defs.hh Grid_simplify.cc Log message: Enforce a bit of const-correctness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid_simplify.cc
by Roberto Bagnara 23 Mar '06

23 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-23 21:27:54 Modified files: src : Grid_simplify.cc Log message: Avoid the creation of several temporaries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_chdims.c ...
by Roberto Bagnara 23 Mar '06

23 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-23 14:56:41 Modified files: src : Polyhedron.defs.hh Polyhedron_chdims.cc Polyhedron_public.cc Log message: Do not use `f(...)' to mean function `f': use `f()' instead (the ellipsis indicates variable number of arguments in C++). Puncutation fixes in comments. 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_chdims.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl doc/definitions.dox src/Congruence.defs.hh ...
by Patricia Hill 22 Mar '06

22 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-22 13:27:38 Modified files: doc : definitions.dox src : Congruence.defs.hh Congruence.inlines.hh Linear_Expression.defs.hh tests/Grid : congruence1.cc Log message: Added n %= e to the allowed set of congruence constructors. The current implementation is temporary; an executable specification needing friendship of Linear_Expression. 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/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruence1.cc.dif…

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 22 Mar '06

22 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-22 11:06:07 Modified files: tests : ppl_test.hh Log message: Removed find_variation(): it was plain nonsense. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

Re: GMP 4.2 release candidate available
by Roberto Bagnara 21 Mar '06

21 Mar '06

Torbjorn Granlund wrote: > There is now a GMP 4.2 release candidate available, please test it and > report problems and successes to me (not to any GMP list). > > The tar file is here: > > ftp://ftp.swox.com/pub/gmp/src/gmp-4.1.99.tar.bz2 > > Unless something terrible shows up, I will release GMP 4.2 tomorrow. A bug has been introduced into the C++ interface. This is witnessed by the following program: #include <gmpxx.h> void foo(mpz_class& a, const mpz_class& b, const mpz_class& c, const mpz_class& d) { a = b*a - c*d; } It does just fine with GMP 4.1.4, but with the release candidate I obtain the following: $ g++ -v Reading specs from /usr/local/lib/gcc/i686-pc-linux-gnu/3.4.4/specs Configured with: ../gcc-3.4.4/configure --prefix=/usr/local Thread model: posix gcc version 3.4.4 $ g++ -c bug.cc bug.cc: In function `void foo(mpz_class&, const mpz_class&, const mpz_class&, const mpz_class&)': bug.cc:5: error: ambiguous class template instantiation for `struct __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_binary_minus> >' /usr/local/include/gmpxx.h:4585: error: candidates are: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, __gmp_expr<__mpz_struct[1], U>, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], V>, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4585: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<T, __gmp_expr<__mpz_struct[1], U>, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], V>, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4585: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, U, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], V>, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4585: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, mpz_class, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], U>, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4585: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, __gmp_expr<__mpz_struct[1], T>, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], U>, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4585: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<T, mpz_class, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], U>, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4585: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, T, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], U>, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4585: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], T>, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4581: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], U>, __gmp_expr<__mpz_struct[1], V>, __gmp_binary_multiplies> >, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4581: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<U, __gmp_expr<__mpz_struct[1], V>, __gmp_binary_multiplies> >, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4581: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], U>, V, __gmp_binary_multiplies> >, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4581: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], U>, mpz_class, __gmp_binary_multiplies> >, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4581: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, __gmp_expr<__mpz_struct[1], U>, __gmp_binary_multiplies> >, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4581: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<U, mpz_class, __gmp_binary_multiplies> >, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4581: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, U, __gmp_binary_multiplies> >, __gmp_binary_minus> > /usr/local/include/gmpxx.h:4581: error: class __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], T>, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_binary_minus> > /usr/local/include/gmpxx.h:3549: error: class __gmp_expr<T, __gmp_binary_expr<__gmp_expr<T, U>, __gmp_expr<T, V>, Op> > /usr/local/include/gmpxx.h:3516: error: class __gmp_expr<T, __gmp_binary_expr<__gmp_expr<U, V>, __gmp_expr<T, W>, Op> > /usr/local/include/gmpxx.h:3483: error: class __gmp_expr<T, __gmp_binary_expr<__gmp_expr<T, U>, __gmp_expr<V, W>, Op> > /usr/local/include/gmpxx.h:3452: error: class __gmp_expr<T, __gmp_binary_expr<U, __gmp_expr<T, V>, Op> > /usr/local/include/gmpxx.h:3425: error: class __gmp_expr<T, __gmp_binary_expr<__gmp_expr<T, U>, V, Op> > bug.cc:5: error: invalid use of undefined type `struct __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_binary_minus> >' /usr/local/include/gmpxx.h:1885: error: declaration of `struct __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_binary_minus> >' /usr/local/include/gmpxx.h: In function `__gmp_expr<typename __gmp_resolve_expr<T, V>::value_type, __gmp_binary_expr<__gmp_expr<T, U>, __gmp_expr<V, W>, __gmp_binary_minus> > operator-(const __gmp_expr<T, U>&, const __gmp_expr<V, W>&) [with T = __mpz_struct[1], U = __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies>, V = __mpz_struct[1], W = __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies>]': bug.cc:5: instantiated from here /usr/local/include/gmpxx.h:4898: error: return type `struct __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_binary_minus> >' is incomplete /usr/local/include/gmpxx.h:4898: error: invalid use of undefined type `struct __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_binary_minus> >' /usr/local/include/gmpxx.h:1885: error: declaration of `struct __gmp_expr<__mpz_struct[1], __gmp_binary_expr<__gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_expr<__mpz_struct[1], __gmp_binary_expr<mpz_class, mpz_class, __gmp_binary_multiplies> >, __gmp_binary_minus> >' 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

1 0

SICStus interface
by Tristan Denmat 17 Mar '06

17 Mar '06

Hi, I am trying to use the interface between PPL and SICStus. Following what is said in the manual, there should be an .pl file in the /bin directory but there is not. Does it mean that I forgot to put a flag or something like this ? Thanks, Tristan Denmat

4 11

ppl doc/definitions.dox src/Grid.defs.hh src/G ...
by Patricia Hill 16 Mar '06

16 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-16 17:32:13 Modified files: doc : definitions.dox src : Grid.defs.hh Grid_widenings.cc tests/Grid : Makefile.am limitedextrapolation1.cc limitedextrapolation2.cc widening1.cc widening2.cc Added files: tests/Grid : limitedextrapolation3.cc widening3.cc Log message: There are now three flavours of grid widening. The `generator_widening_assign()' is as commited previously (using generators) and file `widening2.cc' tests this. The `congruence_widening_assign()' is a renaming of the old `widening_assign()' (using congruences) and `widening1.cc' tests this. The new `widening_assign()' uses either of the above two widenings depending on which of the systems describing the grid are up-to-date. The new test file `widening3.cc' tests this widening. There are, similarly, three flavours of a `limited_*extrapolation_assign()' operator. The documentation in `definitions.dox' on the grid widening has been brought up to date and improved. 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/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening3.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening2.cc.diff?…

1 0

ppl src/Grid.defs.hh src/Grid_Generator.defs.h ...
by Patricia Hill 14 Mar '06

14 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-14 11:16:01 Modified files: src : Grid.defs.hh Grid_Generator.defs.hh Grid_Generator.inlines.hh Grid_widenings.cc tests/Grid : Makefile.am Added files: tests/Grid : limitedextrapolation2.cc widening2.cc Log message: Added new methods generator_widening_assign() and limited_generator_widening_assign() as defined in draft paper. Added method is_equal_at_dimension() for grid generators which is a clone of the existing method for congruences. widening2.cc and limitedextrapolation2.cc check the new widening. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening2.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid Makefile.am
by Roberto Bagnara 13 Mar '06

13 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-13 15:41:13 Modified files: tests/Grid : Makefile.am Log message: Added ascii_dump_load1.dat to MOSTLYCLEANFILES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0