February 2009 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sun Feb 1 22:09:40 CET 2009
Ending: Sun Feb 22 21:11:54 CET 2009
Messages: 125

• [PPL-devel] [Bug 485623] docs in wrong directory   bugzilla at redhat.com
• [PPL-devel] [Fwd: [Bug 485623] New: docs in wrong directory]   Roberto Bagnara
• [PPL-devel] [Fwd: [Bug target/30484] Miscompilation of remainder expressions on CPUs of the i386 family]   Roberto Bagnara
• [PPL-devel] [Fwd: Accepted ppl 0.10-2 (source i386 all)]   Roberto Bagnara
• [PPL-devel] [Fwd: Accepted ppl 0.10-3 (source all amd64)]   Roberto Bagnara
• [PPL-devel] [Fwd: Accepted ppl 0.10-4 (source all amd64)]   Roberto Bagnara
• [PPL-devel] [Fwd: Bug#516419: ppl_0.10-3(mips/unstable):]   Roberto Bagnara
• [PPL-devel] [Fwd: GNU Prolog 1.3.1 is released]   Roberto Bagnara
• [PPL-devel] [Fwd: Package: ppl-0.10-6.fc11 Tag: dist-f11 Status: complete Built by: bagnara]   Roberto Bagnara
• [PPL-devel] [Fwd: Re: FreeBSD - Testsuite failures (Execution of BSDmake instead of GNUmake)]   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Replaced .cvsignore with .gitignore.   abramo.bagnara at gmail.com
• [PPL-devel] [GIT] ppl/ppl(master): Replaced .cvsignore with .gitignore.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added missing double quotes.   bagnara at cs.unipr.it
• [PPL-devel] [GIT] ppl/w3ppl(master): Another spelling correction.   Patricia Hill
• [PPL-devel] [GIT] ppl/w3ppl(master): Explain how to add the `git wup' command.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Spelling corrected.   Patricia Hill
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated the web pages to reflect the switch to Git .   bagnara at cs.unipr.it
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Roberto Bagnara
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Michael Tautschnig
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Roberto Bagnara
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Michael Tautschnig
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Roberto Bagnara
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Michael Tautschnig
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Abramo Bagnara
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Roberto Bagnara
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Michael Tautschnig
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Michael Tautschnig
• [PPL-devel] Bug affecting PPL 0.10 on big-endian architectures   Michael Tautschnig
• [PPL-devel] Bug in C++ interface (comparison between rational and double)   Roberto Bagnara
• [PPL-devel] Bug in C++ interface (comparison between rational and double)   Marc Glisse
• [PPL-devel] Bug in C++ interface (comparison between rational and double)   Abramo Bagnara
• [PPL-devel] Bug in C++ interface (comparison between rational and double)   Ed Grimm
• [PPL-devel] CVSROOT loginfo   Roberto Bagnara
• [PPL-devel] mpz_addmul_ui with ui = 1   Marc Glisse
• [PPL-devel] mpz_addmul_ui with ui = 1   Roberto Bagnara
• [PPL-devel] mpz_addmul_ui with ui = 1   Vincent Lefevre
• [PPL-devel] mpz_addmul_ui with ui = 1   Gabriel Dos Reis
• [PPL-devel] mpz_addmul_ui with ui = 1   Vincent Lefevre
• [PPL-devel] mpz_addmul_ui with ui = 1   Paul Zimmermann
• [PPL-devel] mpz_addmul_ui with ui = 1   Vincent Lefevre
• [PPL-devel] mpz_addmul_ui with ui = 1   Abramo Bagnara
• [PPL-devel] mpz_addmul_ui with ui = 1   Marc Glisse
• [PPL-devel] mpz_addmul_ui with ui = 1   Abramo Bagnara
• [PPL-devel] Opposing inequality to equality conversion.   Axel Simon
• [PPL-devel] Opposing inequality to equality conversion.   Roberto Bagnara
• [PPL-devel] Opposing inequality to equality conversion.   Axel Simon
• [PPL-devel] Polyhedral operations testsuite for performance evaluation   Sebastian Pop
• [PPL-devel] Polyhedral operations testsuite for performance evaluation   Roberto Bagnara
• [PPL-devel] ppl ./.cvsignore doc/.cvsignore interfaces/Jav ...   Abramo Bagnara
• [PPL-devel] ppl ./.cvsignore interfaces/Prolog/.cvsignore   Abramo Bagnara
• [PPL-devel] ppl ./configure.ac demos/ppl_lcdd/Makefile.am ...   Roberto Bagnara
• [PPL-devel] ppl .cvsignore   Abramo Bagnara
• [PPL-devel] ppl/fedora ppl-0.10-bigendian.patch   Roberto Bagnara
• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] ppl/fedora ppl.spec   Roberto Bagnara
• [PPL-devel] ppl/fedora ppl.spec ppl-0.10-configure.patch   Roberto Bagnara
• [PPL-devel] ppl/interfaces/Prolog/tests .cvsignore   Abramo Bagnara
• [PPL-devel] ppl/interfaces C/.cvsignore Java/jni/.cvsignore   Abramo Bagnara
• [PPL-devel] ppl/interfaces OCaml/.cvsignore Prolog/.cvsignore   Abramo Bagnara
• [PPL-devel] ppl/src Ask_Tell.defs.hh DB_Row.templates.hh G ...   Roberto Bagnara
• [PPL-devel] ppl/src checked.inlines.hh checked_ext.inlines ...   Roberto Bagnara
• [PPL-devel] ppl/src compiler.hh   Roberto Bagnara
• [PPL-devel] ppl/src Float.defs.hh   Roberto Bagnara
• [PPL-devel] ppl/src fpu.defs.hh fpu-ia32.inlines.hh   Roberto Bagnara
• [PPL-devel] ppl/src Grid_public.cc   Patricia Hill
• [PPL-devel] ppl/src Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/src Makefile.am   Roberto Bagnara
• [PPL-devel] ppl/src MIP_Problem.cc   Roberto Bagnara
• [PPL-devel] ppl/src Partially_Reduced_Product.defs.hh   Roberto Bagnara
• [PPL-devel] ppl/src Polyhedron_public.cc   Enea Zaffanella
• [PPL-devel] ppl/tests/Grid Makefile.am simplifyusingcontex ...   Patricia Hill
• [PPL-devel] ppl/tests/Polyhedron addgenerator1.cc addgener ...   Enea Zaffanella
• [PPL-devel] ppl/tests/Polyhedron simplifyusingcontext1.cc   Patricia Hill
• [PPL-devel] ppl/tests/Polyhedron simplifyusingcontext1.cc   Patricia Hill
• [PPL-devel] ppl/tests ppl_test.hh MIP_Problem/Makefile.am ...   Roberto Bagnara
• [PPL-devel] PPL 0.10 testsuite failures on powerpc-linux   Roberto Bagnara
• [PPL-devel] PPL 0.10 testsuite failures on powerpc-linux   Janis Johnson
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara
• [PPL-devel] ppl configure.ac   Roberto Bagnara
• [PPL-devel] ppl interfaces/C/.cvsignore interfaces/Java/jn ...   Abramo Bagnara
• [PPL-devel] ppl src/Grid_public.cc tests/Grid/simplifyusin ...   Patricia Hill
• [PPL-devel] Transition to git   Roberto Bagnara
• [PPL-devel] Transition to Git started   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Bugs archive.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Bugs Bugs.raw archive.raw   Enea Zaffanella
• [PPL-devel] w3ppl/htdocs/Bugs Bugs.raw archive.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Bugs Bugs.raw archive.raw patch_p ...   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs/Download Git.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs news.raw ppl.raw   Roberto Bagnara
• [PPL-devel] w3ppl/htdocs ppl.raw Download/Download.raw   Roberto Bagnara
• [PPL-devel] w3ppl AAA_THIS_IS_AN_OBSOLETE_REPOSITORY___README   Roberto Bagnara

Last message date: Sun Feb 22 21:11:54 CET 2009
Archived on: Sun Mar 6 09:35:37 CET 2022

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...