February 2010 Archives by date
Starting: Mon Feb 1 14:14:45 CET 2010
Ending: Sun Feb 28 18:25:11 CET 2010
Messages: 172
- [PPL-devel] [GIT] ppl/ppl(pip): Improved implementation of PIP_Solution_Node:: compatibility_check().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Improved method PIP_Solution_Node::update_tableau().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Got rid of error-prone Tableau::s_capacity() and Tableau::t_capacity().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Minor improvements to PIP_Problem documentation and C interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Started improving method PIP_Solution_Node::solve():
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Improved method Tableau::is_better_pivot().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Further improved (huge) method PIP_Solution_Node::solve ().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Improved the last part of method PIP_Solution_Node:: solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): More progress on PIP_Solution_Node::solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Some improvements to method PIP_Problem::solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Improved class PIP_Tree_Node::Artificial_Parameter.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Added TrifunovicCEFG+10.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Simplified interface for virtual method PIP_Tree_Node:: solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Helper function negate_assign() rnamed as complement_assign().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Add new friend function add_mul_assign() for Linear_Expression.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Clarified proper usage of PIP_Solution_Node alternative copy constructor.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Improved exception safety in method PIP_Solution_Node:: solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Improving test coverage ratio.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): In ascii dump and load methods, also print pivot row strategy info.
Enea Zaffanella
- [PPL-devel] SWI-Prolog test failing (only!) on powerpc
Michael Tautschnig
- [PPL-devel] [GIT] ppl/ppl(pip): PIP_Problem ascii dump&load methods now also dump/ load problem solution.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Drafted PIP_Problem methods {total, external}_memory_in_bytes().
Enea Zaffanella
- [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
Dennis Clarke
- [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
Enea Zaffanella
- [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
Robert Washburne
- [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
Enea Zaffanella
- [PPL-devel] SWI-Prolog test failing (only!) on powerpc
acrux
- [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
acrux
- [PPL-devel] SWI-Prolog test failing (only!) on powerpc
Michael Tautschnig
- [PPL-devel] [GIT] ppl/ppl(master): Improved (devref) documentation for Matrix::add_( recycled_)row methods.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed the omissions of ppl_Polyhedron_is_empty/ 1 and ppl_Polyhedron_add_constraints/2.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Merge branch 'master' into pip
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Fixed the omission of ppl_set_irrational_precision/ 1 and ppl_irrational_precision/1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(pip): Forward declare classes before making them friends.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(pip): Improved (devref) documentation for Matrix::add_( recycled_)row methods.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Improve portability to systems that do not (fully) support Posix signal handling.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mark expected overflows.
Roberto Bagnara
- [PPL-devel] SWI-Prolog test failing (only!) on powerpc
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Improved the NDEBUG machinery.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing expected results.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Missing backslash added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added a draft man page for `ppl_pips'. Other man pages updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid non-ASCII characters.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Put under Git control.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added a first implementation of Cast_Floating_Point_Expression classes.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added classes.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(master): Added a couple of tests to improve code coverage.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Install also ppl_pips.1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Trailing whitespace removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid non-ASCII characters.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Got rid of unused Boolean flag PIP_Problem:: initialized.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added another test for code coverage purposes.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added unit tests for inner class PIP_Tree_Node:: Artificial_Parameter.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Improved error handling. Cosmetic improvements.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed Cast_Floating_Point_Expression.inlines .hh and added a test.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(master): Make the test trivially succeed when coefficients are not large enough.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Enable test12.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): A few improvements to PIP_Problem documentation.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Corrected several problems.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Warnings avoided.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Unwanted inclusion removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use the right preprocessor conditionals for PPL_HAVE_DECL_SIGACTION.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Important item added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed bug introduced when improving coding style in PIP_Solution_Node:: solve.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Solved other instances of test02, but using different cutting strategies.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Tests 2, 5, 7, 8, 9 and 10 do not overflow on 16 bit coefficients.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Variable shadowing avoided. Scope of variables reduced. One FIXME added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a type error.
Fabio (none)
- [PPL-devel] [GIT] ppl/ppl(floating_point): Merge branch 'floating_point' of ssh://git. cs.unipr.it/git/ppl/ppl into floating_point
Fabio (none)
- [PPL-devel] [GIT] ppl/ppl(master): Build the PWL unless not explicitly disabled at configuration time.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Cater for systems where setitimer() is not provided (part 2).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Cater for systems where setitimer() is not provided (part 1).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Cater for systems where setitimer() is not provided (part 3).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Cater for systems where setitimer() is not provided (part 4).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added method PIP_Problem::print_solution().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Tests adapted to use the new method for printing a PIP problem solution.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Drafted implementation for PIP_Problem's operator<<.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added "affine from relation" section into definitions.dox.
Fabio (none)
- [PPL-devel] [GIT] ppl/ppl(master): Cosmetic changes.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Typo fixed: we require SICStus at least version 3.9. 1.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Test program renamed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added examples from PipLib 1.4.0.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Test with all the examples.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated expected results.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added and fixed documentation for Var_FP_Expression.
Roberto Amadini
- [PPL-devel] [GIT] ppl/w3ppl(master): Added FeautrierCB07.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Cosmetic improvements.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Described the input formats.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Improved comments.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed comments.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(master): Added total_memory_in_bytes() and external_memory_in_bytes()
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Dealt with a FIXME in PIP_Solution_Node::solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Corrected bug in th ehandling of trivially satisfiable PIP problems.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(floating_point): Changed linearize method interface for Floating Point Expressions.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(master): Added some missing C interface methods and enum values for the new PIP classes .
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Avoid parameter name hiding; mark unreachable code.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Removed two PIP_Problem enum values that need not be interfaced.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Simplified C interface to Artificial_Parameter.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer denominator() to get_denominator().
Enea Zaffanella
- [PPL-devel] SWI-Prolog test failing (only!) on powerpc
Michael Tautschnig
- [PPL-devel] [GIT] ppl/ppl(master): Started working on incrementality.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Little code coverage improvement.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Check fir and avoid space dimension mismatches in merge_assign().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Put under git control.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): A couple of tests marked as known to fail.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Test 09 overflows when using 8-bit coefficients.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Achieve full code coverage for the output operator.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Document and test exception thrown by PIP_Problem:: print_solution().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Got rid of non-const PIP_Tree_Node as_decision() and as_solution() methods.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Adding no space dims should not invalidate previously computed solution.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Invalidate current solution at the start of PIP_Solution_Node::solve().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Improved code coverage.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use build method instead of join_assign to build convex intervals.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Floating_Point_Expression:: absolute_error is now a symmetric interval.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(master): If setitimer() is not available, no initialization is necessary.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): sigaction() is also needed, in addition to setitimer () in order to support Watchdog objects.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use the C++ compiler to perform the tests meant for C++.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Be more informative in case something goes wrong.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Avoid printing unless noisy or very-noisy mode was requested.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed oversight in error-handling code.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Changed interface for public method PIP_Solution_Node::parametric_values() .
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed exception safety issue in PIP_Decision_Node copy constructor.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Do set the `solution_valid' flag on exit from update_solution().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added tentative solution to bugs shown by pipproblem1 tests 16, 17 and 18.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed call to ppl_PIP_Solution_Node_get_parametric_values().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed digitalfilters1.cc
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed indentation.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed whitespaces.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(master): Tests 14 and 15 are known to overflow on 8-bit coefficients.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a test on BDShape.
Fabio (none)
- [PPL-devel] [GIT] ppl/ppl(master): Added a test illustrating a bug when incrementally inserting a parameter constraint .
François Galea
- [PPL-devel] [GIT] ppl/ppl(master): Tests 1-18 restored. Test 19 is known to fail.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Tests 1-18 restored. Test 19 is known to fail.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Added Marco Poletti to the list of current contributors.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Fixes build: MIP_Problem: enable previously disabled methods total_memory_in_bytes() and external_memory_in_bytes()
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(floating_point): Several corrections in rate limiter tests.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(floating_point): Modified return statements.
Roberto Amadini
- [PPL-devel] [GIT] ppl/ppl(master): Improve definition of Matrix:: const_iterator default constructor.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added operator<<() for class PIP_Tree_Node, printing the subtree.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added printing functions for PIP tree nodes and improved documentation.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Simplified initialization of Threshold_Watcher<> static data member.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Throw std:: logic_error in case the client asks for watchdogs on a system not supporting them .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Exception handling fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Force C++ linking for all the test programs.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Increase code coverage for PIP_Tree_Node printing methods.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Reassign error codes so as to have backward compatibility.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Temporarily removed the support for circular intervals.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Missing comma added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Removed stuff that will not be included in PPL 0.11.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Removed stuff that will not be included in PPL 0.11.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Missing comma added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Temporarily removed the support for circular intervals.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added stuff that was taken out from the master branch.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Useless comma removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Temporarily removed the support for circular intervals.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Missing comma added.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Removed stuff that will not be included in PPL 0.11.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Useless comma removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
Last message date:
Sun Feb 28 18:25:11 CET 2010
Archived on: Sun Mar 6 09:35:42 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).