October 2004 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lcdd Makefile.am
by Roberto Bagnara 29 Oct '04

29 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-29 17:44:58 Modified files: demos/ppl_lcdd : Makefile.am Log message: Run `ppl_lcdd' in the local directory, not some other executable with the same name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.di…

1 0

ppl ./NEWS ./TODO ./configure.ac demos/ppl_lcd ...
by Roberto Bagnara 28 Oct '04

28 Oct '04

1 0

ppl/src globals.defs.hh globals.inlines.hh
by Roberto Bagnara 28 Oct '04

28 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-28 18:58:28 Modified files: src : globals.defs.hh globals.inlines.hh Log message: Implementation of not_a_dimension() and maybe_abandon() moved to global.inlines.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?c…

1 0

ppl/src globals.defs.hh globals.inlines.hh
by Roberto Bagnara 28 Oct '04

28 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-28 18:29:27 Modified files: src : globals.defs.hh globals.inlines.hh Log message: Implementation of compute_capacity() moved to global.inlines.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?c…

1 0

ppl/src Linear_System.cc Matrix.cc Matrix.inli ...
by Enea Zaffanella 28 Oct '04

28 Oct '04

1 0

ppl/m4 ac_check_gmp.m4
by Roberto Bagnara 28 Oct '04

28 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-28 08:16:06 Modified files: m4 : ac_check_gmp.m4 Log message: Simplified the detection of sizeof(mp_limb_t): this works with Autoconf version 2.50 or higher (we already require 2.59 or higher). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro…

1 0

ppl/m4 ac_check_gmp.m4
by Roberto Bagnara 28 Oct '04

28 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-28 08:09:00 Modified files: m4 : ac_check_gmp.m4 Log message: Second test program improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 28 Oct '04

28 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-10-28 07:40:12 Modified files: htdocs/Download: requirements.raw Log message: We now require GMP 4.1.3 or higher. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

Why we now require GMP 4.1.3 or higher
by Roberto Bagnara 28 Oct '04

28 Oct '04

The reason is that our implementation of checked integers takes advantage of the following change that was made in GMP 4.1.3 (excerpt from their NEWS file): * mpz_export allows NULL for countp parameter. This new feature is exploited in several places in checked_mpz.inlines.hh. Ciao, 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 ./NEWS ./configure.ac interfaces/C/ppl_c.h ...
by Roberto Bagnara 28 Oct '04

28 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-28 07:35:32 Modified files: . : NEWS configure.ac interfaces/C : ppl_c.h.in m4 : ac_check_gmp.m4 Log message: We now require GMP 4.1.3 or higher. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.12… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro…

1 0