May 2011 Archives by date
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] 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] [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] 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] difficulties building PPL 0.11.2 without "--enable-shared"
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
- [PPL-devel] bug for ppl-0.11.2 - your website has an improperly signed certificate (sparticus)
Roberto Bagnara
Last message date:
Thu May 26 17:35:29 CEST 2011
Archived on: Sun Mar 6 09:35:45 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).