November 2008 - PPL-devel - BUGSENG Mailman

ppl NEWS
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 00:03:11 Modified files: . : NEWS Log message: Wording improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.26…

1 0

ppl/interfaces/OCaml/tests test1.ml
by Roberto Bagnara 02 Nov '08

02 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-02 23:52:46 Modified files: interfaces/OCaml/tests: test1.ml Log message: FIXME resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.…

1 0

ppl TODO
by Roberto Bagnara 02 Nov '08

02 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-02 23:49:20 Modified files: . : TODO Log message: New item for PPL 0.10.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.28…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 02 Nov '08

02 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-02 21:21:00 Modified files: htdocs/Credits : Credits.raw Log message: Started harmonization with the CREDITS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl CREDITS
by Roberto Bagnara 02 Nov '08

02 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-02 21:20:57 Modified files: . : CREDITS Log message: Started harmonization with the Credits web page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

[Fwd: Re: Plans to package MLGMP?]
by Roberto Bagnara 02 Nov '08

02 Nov '08

-------- Original Message -------- Subject: Re: Plans to package MLGMP? Date: Sun, 2 Nov 2008 16:20:40 +0000 From: Richard W.M. Jones <rjones(a)redhat.com> To: Fedora OCaml list <fedora-ocaml-list(a)redhat.com> CC: bagnara(a)cs.unipr.it References: <490C5E83.7040500(a)cs.unipr.it> On Sat, Nov 01, 2008 at 02:49:55PM +0100, Roberto Bagnara wrote: > are there any plans to package MLGMP, an extended precision computation library > in OCaml (http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=278)? > > I am writing a spec file for the Parma Polyhedra Library, and its OCaml interface > requires MLGMP. No one's asked for it up to now, but if you wish to package it, please go ahead! If you're not used to packaging OCaml libraries for Fedora / RHEL before then you'll find it helpful to look at one of the existing ones. Here are some simple ones: http://cvs.fedoraproject.org/viewvc/devel/ocaml-augeas/ocaml-augeas.spec?re… http://cvs.fedoraproject.org/viewvc/devel/ocaml-csv/ocaml-csv.spec?revision… http://cvs.fedoraproject.org/viewvc/devel/ocaml-facile/ocaml-facile.spec?re… http://cvs.fedoraproject.org/viewvc/devel/ocaml-ssl/ocaml-ssl.spec?revision… You can join as a package maintainer if you want (see [1]), but if you don't want to do that, then create a new bug for your package once done in http://bugzilla.redhat.com/ and assign it to me. If you have any other troubles making the RPM, just ask. Rich. [1] http://fedoraproject.org/wiki/PackageMaintainers/Join -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-p2v converts physical machines to virtual machines. Boot with a live CD or over the network (PXE) and turn machines into Xen guests. http://et.redhat.com/~rjones/virt-p2v -- 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

[Fwd: GCC 4.4.0 Status Report (2008-11-01)]
by Roberto Bagnara 02 Nov '08

02 Nov '08

-------- Original Message -------- Subject: GCC 4.4.0 Status Report (2008-11-01) Date: Sat, 1 Nov 2008 13:16:05 +0100 (CET) From: Richard Guenther <rguenther at suse dot de> To: gcc at gcc dot gnu dot org CC: Jakub Jelinek <jakub at redhat dot com> Status ====== The two months of Stage 3 have ended and the trunk is now in regression and documentation fixes only mode. At this point bugfixing should concentrate on getting the list of serious regressions down to a level that makes GCC 4.4 ready to release. As an exception to this we will still have the old register allocator removed before we branch for the GCC 4.4.0 release. As usual maintainers may consider fixing serious bugs such as rejection of valid code or wrong-code bugs appropriate even if they are not regressions. The two quality metrics you know from the past still apply. We will consider releasing GCC 4.4.0 once the number of serious regressions is below 100 and no more P1 regressions remain. Only after releasing GCC 4.4.0 we will branch and open Stage 1 for GCC 4.5 development. Past experience tells us that we can expect this to happen not before another two months pass, which would be early next year. Quality Data ============ Priority # Change from Last Report -------- --- ----------------------- P1 17 - 9 P2 141 + 8 P3 3 + 1 -------- --- ----------------------- Total 161 +- 0 We seem to make good progress in tackling P1 bugs though the overall number of serious regressions didn't decline. Which probably means we are getting more testing coverage now, which is good. I encourage maintainers to look over the bugs in their respective area and make sure we do not miss regressions that are not marked appropriately ([X.Y Regression] in the summary and a target milestone of the next version of the oldest active branch affected). In case you think a bug is not appropriately prioritized bump the priority back to P3 which makes the release managers aware of it. Note that P3 means un-prioritized and that only bugs for C, C++ and their runtimes for the list of primary and secondary targets listed at http://gcc.gnu.org/gcc-4.4/criteria.html qualify for P1 or P2. Previous Report =============== http://gcc.gnu.org/ml/gcc/2008-10/msg00404.html The next report for 4.4.0 will be sent by Jakub. -- Richard Guenther <rguenther(a)suse.de> Novell / SUSE Labs SUSE LINUX Products GmbH - Nuernberg - AG Nuernberg - HRB 16746 - GF: Markus Rex -- 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/interfaces/Prolog/GNU README.gprolog
by Roberto Bagnara 02 Nov '08

02 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-02 16:24:29 Modified files: interfaces/Prolog/GNU: README.gprolog Log message: Unwanted slash removed. Indentation changed so as to make the example compilation command clearer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.…

1 0

ppl/interfaces/Prolog/GNU README.gprolog
by Patricia Hill 02 Nov '08

02 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-02 16:13:23 Modified files: interfaces/Prolog/GNU: README.gprolog Log message: Revised the example compilation command so that the compiler knows where to look, at run-time, for the libppl_gprolog library . Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/README.…

1 0

w3ppl/htdocs/Credits Credits.raw
by Patricia Hill 02 Nov '08

02 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-11-02 16:05:30 Modified files: htdocs/Credits : Credits.raw Log message: Small nels changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0