April 2012 Archives by author

Messages sorted by: [ thread ] [ subject ] [ 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] R: Re: R: Re: R: Re: PPL 0.12 bug reporting Gianluca Amato
[PPL-devel] [GIT] ppl/ppl(master): Ignore always unhandled bits. Abramo 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] [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(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): 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(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): Reference to no longer existing namespace removed. Roberto Bagnara
[PPL-devel] [GIT] ppl/ppl(master): Variable name fixed. 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): 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): 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): 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): 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] PPL 0.12 bug reporting Roberto Bagnara
[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] Parma Polyhedra Library 0.12.1 Roberto Bagnara
[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits Roberto Bagnara
[PPL-devel] [GIT] ppl/ppl(master): New commits Roberto Bagnara
[PPL-devel] [GIT] ppl/ppl(master): Version number bumped. Roberto Bagnara
[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 Roberto Bagnara
[PPL-devel] R: Re: R: Re: R: Re: PPL 0.12 bug reporting Roberto Bagnara
[PPL-devel] R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting Roberto Bagnara
[PPL-devel] Fwd: Re: PPL 0.12 bug reporting Roberto Bagnara
[PPL-devel] Fwd: Re: PPL 0.12 bug reporting 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): Corrected typo. Enea Zaffanella
[PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): Corrected typo. Enea Zaffanella
[PPL-devel] [GIT] ppl/ppl(master): Made several exception thrower methods static. Enea Zaffanella
[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): 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): Added calls to WEIGHT macros. Enea Zaffanella
[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): Updated. Enea Zaffanella
[PPL-devel] [GIT] ppl/ppl(master): Minor corrections in the documentation for set_deterministic_timeout. Enea Zaffanella
[PPL-devel] [GIT] ppl/ppl(master): Fixed a few copy&paste errors in documentation. Enea Zaffanella
[PPL-devel] [GIT] ppl/ppl(sparse_matrices): Wrap a few long lines. Enea Zaffanella
[PPL-devel] [GIT] ppl/ppl(sparse_matrices): Weaken assertion in mixed Sparse-Dense linear_combine(). Enea Zaffanella
[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] [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] [GIT] ppl/ppl(master): Updated copyright years. Enea Zaffanella
[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] PPL 0.12 bug reporting Erotavlas_turbo at libero.it
[PPL-devel] 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 Erotavlas_turbo at libero.it
[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: R: Re: PPL 0.12 bug reporting Erotavlas_turbo at libero.it
[PPL-devel] R: Re: Fwd: Re: PPL 0.12 bug reporting Erotavlas_turbo at libero.it

Last message date: Mon Apr 30 17:05:08 CEST 2012
Archived on: Sun Mar 6 09:35:47 CET 2022

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

This archive was generated by Pipermail 0.09 (Mailman edition).