January 2011 Archives by author

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

Starting: Tue Jan 4 18:21:44 CET 2011
Ending: Mon Jan 31 20:42:15 CET 2011
Messages: 49

• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): src/Linear_Form_def.hh: Fixed comment and renamed class FP_Oracle into Oracle.   Alberto Gioia (none)
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Renamed FP_Oracle into Oracle, and generalized it to include both floating point and integer values.   Alberto Gioia (none)
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added missing `use_module' directive.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added missing `use_module' directive.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Do not build documentation for interfaces that are not enabled.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added missing parameter documentation.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Do not build documentation for interfaces that are not enabled.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Typo fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added missing parameter documentation.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Replaced several occurrences of assert() by PPL_ASSERT().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Replaced several occurrences of assert() by PPL_ASSERT().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Cyclic dependency avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Cyclic dependency avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Links to GMP's home page updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Merge branch 'master' into floating_point   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] ppl in Fedora development   Roberto Bagnara
• [PPL-devel] Fwd: Re: ppl in Fedora development   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Copyright notices updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Copyright notices updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Copyright notices updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Copyright notices updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Copyright notices updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Copyright notices updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Announced the transfer of copyright.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Prepare for release 0.11.1.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Typo fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Copyright notices updated in expexted result files.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Copyright notices updated in expexted result files.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): AC_PROG_OCAML only sets OCAMLOPT if OCAMLC is different from "no".   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): AC_PROG_OCAML only sets OCAMLOPT if OCAMLC is different from "no".   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Detect whether the plain char type is signed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Copy-and-paste mistake fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Added specializations for plain char.   Roberto Bagnara
• [PPL-devel] Fwd: ppl_pips problems   Albert Cohen
• [PPL-devel] ppl-0.11 build fails in the testsuite on x86_64   Matthias Klose
• [PPL-devel] How to install binary w/o root access?   Sven Verdoolaege
• [PPL-devel] ppl_pips problems   Sven Verdoolaege
• [PPL-devel] How to install binary w/o root access?   Pengcheng Wu
• [PPL-devel] [GIT] ppl/ppl(master): Fixed documentation copy-and-paste error.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed documentation copy-and-paste error.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.   Enea Zaffanella
• [PPL-devel] checking for version 0.10 of PPL... no   acrux

Last message date: Mon Jan 31 20:42:15 CET 2011
Archived on: Fri Jan 20 18:10:39 CET 2012

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