April 2012 Archives by thread

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

Starting: Sun Apr 1 07:53:46 CEST 2012
Ending: Mon Apr 30 17:05:08 CEST 2012
Messages: 109

• [PPL-devel] [GIT] ppl/ppl(master): Updated for Doxygen 1.8.0.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Updated for Doxygen 1.8.0.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Merge branch 'master' into ppl-0_12-branch   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added BagnaraMPZ12TR.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added BagnaraMPZ12IC.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Removed two unused and unwanted methods.   Roberto Bagnara
• [PPL-devel] PPL 1 test (linearize) failed   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added copyright and licensing information.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Distribute the bibliographies.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Corrected typo.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Added copyright and licensing information.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Distribute the bibliographies.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Corrected typo.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Merge branch 'master' into ppl-0_12-branch   Roberto Bagnara
• [PPL-devel] Fwd: Re: PPL v0.11.2 test failure   Roberto Bagnara
  • [PPL-devel] Fwd: Re: PPL v0.11.2 test failure   Roberto Bagnara
• [PPL-devel] Fwd: Re: Fwd: Re: PPL v0.11.2 test failure   Roberto Bagnara
• [PPL-devel] Fwd: Re: Fwd: Re: PPL v0.11.2 test failure   Roberto Bagnara
• [PPL-devel] Fwd: Re: PPL 1 test (linearize) failed   Roberto Bagnara
• [PPL-devel] PPL 1 test (linearize) failed   Roberto Bagnara
• [PPL-devel] Fwd: Re: PPL 1 test (linearize) failed   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Made several exception thrower methods static.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): To reproduce Mantis issue [PPL 0000353].   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Set the validity bits.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Function renamed and documented.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Use add_mul_assign().   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Make it easier to reproduce issue [PPL 0000353].   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The given problem is not satisfiable ( independently verified with other solvers).   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Do not use #define without a value.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): When dumping Linear_Row:: Flags with assertions turned off,   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Clarified reason of assertion failing by adding a message.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Variable name fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Reference to no longer existing namespace removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Reordered so as to allow compilability with -DPPL_PROFILE_ADD_WEIGHT=1.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved error message reporting for assertion failures.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added a comment to clarify definition of PPL_ASSERT.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Mimic the message given by standard assert.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Punctuation fixed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Let ppl_unreachable_msg() print a more sensible message.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Weight computation fixed and adjusted.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added calls to WEIGHT macros.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid non-ASCII characters.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Missing comma added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid using @ outside BibTex entries.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid using @ outside BibTex entries.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Cleaned.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Ignore always unhandled bits.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Comments improved.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New test program.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Profiled.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Substituted "alpha testing" with "beta testing".   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Revert "The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter."   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in the Prolog interface whereby predicate ppl_set_deterministic_timeout /1.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Modified signature of function set_deterministic_timeout().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Test PIP_Problem/ weightwatch1 requires unbounded coefficients.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Typo fixed. Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The Intel C/C++ compiler does not support -pedantic.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): The Intel C/C++ compiler does not support -pedantic.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Minor corrections in the documentation for set_deterministic_timeout.   Enea Zaffanella
• [PPL-devel] PPL 0.12 bug reporting   Erotavlas_turbo at libero.it
  • [PPL-devel] PPL 0.12 bug reporting   Roberto Bagnara
• [PPL-devel] Vorreste aiutare i malati nel vostro tempo libero guadagnando dai 300 euro alla settimana?   china-devel-owner at cs.unipr.it
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Mark ChangeLog.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Update version.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed a few copy&paste errors in documentation.   Enea Zaffanella
• [PPL-devel] Parma Polyhedra Library 0.12.1   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Weaken assertion in mixed Sparse-Dense linear_combine().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Wrap a few long lines.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Allow for Prolog exception errors to have message functor ppl_length_error .   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Test sampleh7.ine no longer causes an overflow.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): test16() overflows on 16 bits even with assertions turned off.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): test14() overflows with 16 bit integers and assertions turned off.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Sign of overflow has changed.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Another test where we get an overflow with changed sign.   Enea Zaffanella
• [PPL-devel] Fwd: R: Re: PPL 0.12 bug reporting   Roberto Bagnara
• [PPL-devel] R: Re: PPL 0.12 bug reporting   Roberto Bagnara
• [PPL-devel] R: Re: R: Re: PPL 0.12 bug reporting   Erotavlas_turbo at libero.it
  • [PPL-devel] R: Re: R: Re: PPL 0.12 bug reporting   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Protect in_assert flag from exceptions.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Fixed typo.   Abramo Bagnara
• [PPL-devel] R: Re: R: Re: R: Re: PPL 0.12 bug reporting   Erotavlas_turbo at libero.it
  • [PPL-devel] R: Re: R: Re: R: Re: PPL 0.12 bug reporting   Roberto Bagnara
  • [PPL-devel] R: Re: R: Re: R: Re: PPL 0.12 bug reporting   Gianluca Amato
• [PPL-devel] R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting   Erotavlas_turbo at libero.it
  • [PPL-devel] R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): test09() no longer overflows with 8-bit coefficients and assertions on.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): test01() no longer overflows with 8-bits and assertions on C polyhedra.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Changed sign of overflow in 16-bits Prolog test.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected expected results for (overflowing) tests on bounded coefficients.   Enea Zaffanella
• [PPL-devel] R: Re: R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting   Erotavlas_turbo at libero.it
• [PPL-devel] Fwd: Re: PPL 0.12 bug reporting   Roberto Bagnara
  • [PPL-devel] Fwd: Re: PPL 0.12 bug reporting   Roberto Bagnara
• [PPL-devel] R: Re: Fwd: Re: PPL 0.12 bug reporting   Erotavlas_turbo at libero.it
• [PPL-devel] [GIT] ppl/ppl(master): Updated copyright years.   Enea Zaffanella

Last message date: Mon Apr 30 17:05:08 CEST 2012
Archived on: Tue May 1 08:15:08 CEST 2012

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