February 2010 Archives by subject

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

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(bounded_arithmetic): Added stuff that was taken out from the master branch.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Missing comma added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits   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): Temporarily removed the support for circular intervals.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added "affine from relation" section into definitions.dox.   Fabio (none)
• [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 and fixed documentation for Var_FP_Expression.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Added classes.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Changed linearize method interface for Floating Point Expressions.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a test on BDShape.   Fabio (none)
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a type error.   Fabio (none)
• [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(floating_point): Fixed comments.   Roberto Amadini
• [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): Floating_Point_Expression:: absolute_error is now a symmetric interval.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Improved comments.   Roberto Amadini
• [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(floating_point): Missing comma added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Modified return statements.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   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): Removed whitespaces.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Several corrections in rate limiter tests.   Roberto Amadini
• [PPL-devel] [GIT] ppl/ppl(floating_point): Temporarily removed the support for circular intervals.   Roberto Bagnara
• [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): Useless comma removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): A couple of tests marked as known to fail.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): A few improvements to PIP_Problem documentation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Achieve full code coverage for the output operator.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added a couple of tests to improve code coverage.   Enea Zaffanella
• [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): Added a test illustrating a bug when incrementally inserting a parameter constraint .   François Galea
• [PPL-devel] [GIT] ppl/ppl(master): Added another test for code coverage purposes.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added examples from PipLib 1.4.0.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added method PIP_Problem::print_solution().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added missing expected results.   Roberto Bagnara
• [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): Added some missing C interface methods and enum values for the new PIP classes .   Patricia Hill
• [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): Added total_memory_in_bytes() and external_memory_in_bytes()   Patricia Hill
• [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): Adding no space dims should not invalidate previously computed solution.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid non-ASCII characters.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid non-ASCII characters.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Avoid parameter name hiding; mark unreachable code.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Avoid printing unless noisy or very-noisy mode was requested.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Be more informative in case something goes wrong.   Roberto Bagnara
• [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 1).   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 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): Changed interface for public method PIP_Solution_Node::parametric_values() .   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): Corrected bug in th ehandling of trivially satisfiable PIP problems.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected several problems.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Cosmetic changes.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Cosmetic improvements.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Dealt with a FIXME in PIP_Solution_Node::solve().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Described the input formats.   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): Document and test exception thrown by PIP_Problem:: print_solution().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Drafted implementation for PIP_Problem's operator<<.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Enable test12.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Exception handling fixed.   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): Fixed call to ppl_PIP_Solution_Node_get_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): Fixed oversight in error-handling code.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Force C++ linking for all the test programs.   Roberto Bagnara
• [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): Got rid of unused Boolean flag PIP_Problem:: initialized.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): If setitimer() is not available, no initialization is necessary.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Important item added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improve definition of Matrix:: const_iterator default constructor.   Enea Zaffanella
• [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): Improved (devref) documentation for Matrix::add_( recycled_)row methods.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Improved code coverage.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Improved error handling. Cosmetic improvements.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Improved the NDEBUG machinery.   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): Install also ppl_pips.1.   Roberto Bagnara
• [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): Little code coverage improvement.   Enea Zaffanella
• [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): Mark expected overflows.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Missing backslash added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Missing comma added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Prefer denominator() to get_denominator().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Put under Git control.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Put under git control.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Reassign error codes so as to have backward compatibility.   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(master): Removed two PIP_Problem enum values that need not be interfaced.   Enea Zaffanella
• [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): Simplified C interface to Artificial_Parameter.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Simplified initialization of Threshold_Watcher<> static data member.   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): Started working on incrementality.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Temporarily removed the support for circular intervals.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Test 09 overflows when using 8-bit coefficients.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Test program renamed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Test with all the examples.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Tests 1-18 restored. Test 19 is known to fail.   Roberto Bagnara
• [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(master): Tests 2, 5, 7, 8, 9 and 10 do not overflow on 16 bit coefficients.   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): 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): Trailing whitespace removed.   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): Unwanted inclusion removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated expected results.   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): Use the right preprocessor conditionals for PPL_HAVE_DECL_SIGACTION.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Useless comma removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Variable shadowing avoided. Scope of variables reduced. One FIXME added.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Warnings avoided.   Roberto Bagnara
• [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): Drafted PIP_Problem methods {total, external}_memory_in_bytes().   Enea Zaffanella
• [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): Fixed the omissions of ppl_Polyhedron_is_empty/ 1 and ppl_Polyhedron_add_constraints/2.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Forward declare classes before making them friends.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Further improved (huge) method PIP_Solution_Node::solve ().   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): Helper function negate_assign() rnamed as complement_assign().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Improved (devref) documentation for Matrix::add_( recycled_)row methods.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): Improved class PIP_Tree_Node::Artificial_Parameter.   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): 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): Improved method Tableau::is_better_pivot().   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): 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] [GIT] ppl/ppl(pip): Merge branch 'master' into pip   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(pip): Minor improvements to PIP_Problem documentation and C interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(pip): More progress on PIP_Solution_Node::solve().   Enea Zaffanella
• [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): Simplified interface for virtual method PIP_Tree_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): Started improving method PIP_Solution_Node::solve():   Enea Zaffanella
• [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(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
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits   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/w3ppl(master): Added FeautrierCB07.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added TrifunovicCEFG+10.   Roberto Bagnara
• [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] Modified PPL 0.10.2 source distribution for Solaris   acrux
• [PPL-devel] SWI-Prolog test failing (only!) on powerpc   Michael Tautschnig
• [PPL-devel] SWI-Prolog test failing (only!) on powerpc   acrux
• [PPL-devel] SWI-Prolog test failing (only!) on powerpc   Michael Tautschnig
• [PPL-devel] SWI-Prolog test failing (only!) on powerpc   Roberto Bagnara
• [PPL-devel] SWI-Prolog test failing (only!) on powerpc   Michael Tautschnig

Last message date: Sun Feb 28 18:25:11 CET 2010
Archived on: Fri Jan 20 18:10:36 CET 2012

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