May 2011 Archives by thread

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

Starting: Mon May 2 10:32:28 CEST 2011
Ending: Thu May 26 17:35:29 CEST 2011
Messages: 43

• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adding linearization about bitwise operator OR.   Alberto Gioia (none)
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjusting function or_assign for the check the boundary.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjusting function or_assign for the check the boundary.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] Fwd: Bug#625417: ppl: ftbfs with gcc-4.6 -Werror   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Corrected documentation.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(floating_point): Corrected documentation.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(floating_point): Merge branch 'master' into floating_point   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added functions operator&= and operator& into Linear_Form.templates.hh,   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added functions operator^= and operator^ into Linear_Form.templates.hh,   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(master): Fixed some bugs in the documentation for the MIP and PIP problems.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(floating_point): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'floating_point'   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added function operator<< into Linear_Form.templates.hh,   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added function operator>> into Linear_Form.templates.hh,   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed an invalid Doxygen reference.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed the name of the file Number_Conversion.cc.   Alberto Gioia
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added a Doxygen reference.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(master): Fixed an invalid Doxygen reference.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(master): Added a Doxygen reference.   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'floating_point'   Fabio Bossi
• [PPL-devel] [GIT] ppl/ppl(master): Improved the documentation and removed an useless function.   Fabio Bossi
• [PPL-devel] Can't find GMP, but it's installed   rafael ff1
  • [PPL-devel] Can't find GMP, but it's installed   Roberto Bagnara
• [PPL-devel] Can't find GMP, but it's installed   Roberto Bagnara
  • [PPL-devel] Can't find GMP, but it's installed   Rafael Fontenelle
    • [PPL-devel] Can't find GMP, but it's installed   Roberto Bagnara
      • [PPL-devel] Can't find GMP, but it's installed   Rafael Fontenelle
• [PPL-devel] bug for ppl-0.11.2 - your website has an improperly signed certificate (sparticus)   Harry Hairy
  • [PPL-devel] bug for ppl-0.11.2 - your website has an improperly signed certificate (sparticus)   Roberto Bagnara
  • [PPL-devel] bug for ppl-0.11.2 - your website has an improperly signed certificate (sparticus)   Roberto Bagnara
• [PPL-devel] Fwd: ppl-0.11.2 requested test failure report   Roberto Bagnara
  • [PPL-devel] Fwd: ppl-0.11.2 requested test failure report   Roberto Bagnara
• [PPL-devel] difficulties building PPL 0.11.2 without "--enable-shared"   Anthony Foiani
  • [PPL-devel] difficulties building PPL 0.11.2 without "--enable-shared"   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Do use $(interface_generator_files) when defined.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Moved misplaced conditional.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Do use $(interface_generator_files) when defined.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Moved misplaced conditional.   Roberto Bagnara
• [PPL-devel] Fwd: RE: bug for ppl-0.11.2 - your website has an improperly signed certificate (sparticus)   Roberto Bagnara
• [PPL-devel] ppl-0.11.2 requested test failure report -- error when using "--enable-valgrind-tests=yes"   Charles ELSAESSER WebmailOrange

Last message date: Thu May 26 17:35:29 CEST 2011
Archived on: Fri Jan 20 18:10:39 CET 2012

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