September 2010 Archives by thread
Starting: Wed Sep 1 08:19:22 CEST 2010
Ending: Wed Sep 29 19:10:47 CEST 2010
Messages: 182
- [PPL-devel] [GIT] ppl/ppl(master): Let the input routine accept floating-point syntax starting with ".".
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Improved documentation for number input routine.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(floating_point): Do not use linear form abstract stores along
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Let the input routine for checked numbers accepts C99 hexadecimal float syntax .
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Let the input routine accept floating-point syntax starting with ".".
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Improved documentation for number input routine.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices
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] [GIT] ppl/ppl(master): Slight improvement to the selection mechanism for sparse and dense matrices .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): By default, use sparse matrices both for MIP_Problem and PIP_Problem.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Revised Marco Poletti's entry.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(MPI): Revised Marco Poletti's entry.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version number fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Version number fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Merge branch 'master' into floating_point
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated expected results.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: fix compilation with --enable-assertions and without --enable-more-assertions .
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge branch 'sparse_matrices' of ssh://git .cs.unipr.it/git/ppl/ppl into sparse_matrices
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): CO_Tree: fix compilation with --enable-assertions and without --enable-more-assertions .
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'sparse_matrices' of ssh://git.cs.unipr .it/git/ppl/ppl into sparse_matrices
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'sparse_matrices'
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Expected results updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): CO_Tree::tree_iterator: rename index() method into dfs_index().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): CO_Tree, Sparse_Row, Dense_Row: access the index and the value of element pointed to by an iterator using itr .index() and *itr instead of itr->first and itr->second.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' of ssh://git.cs.unipr.it/git/ ppl/ppl
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: fix compilation when Coefficient_traits:: const_reference is not `const Coefficient&'.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): CO_Tree: fix compilation when Coefficient_traits:: const_reference is not `const Coefficient&'.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: work when Coefficient_traits:: const_reference is just Coefficient, losing some performance when it's not.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree: work when Coefficient_traits:: const_reference is just Coefficient, losing some performance when it's not.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): MIP_Problem: work when Coefficient_traits:: const_reference is just Coefficient, losing some performance when it's not.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): PIP_Tree: work when Coefficient_traits:: const_reference is just Coefficient, losing some performance when it's not.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): tests/CO_Tree: use DO_TEST_F8 when a test is expected to fail with 8-bit coefficients.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): tests/Sparse_Matrix: modify the tests so that they pass even when using 8-bit coefficients.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): tests/CO_Tree: modify the tests so that they pass even with 8-bit coefficients.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): tests/Sparse_Matrix: modify the tests so that they pass even when using 8-bit coefficients.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): tests/CO_Tree: modify the tests so that they pass even with 8-bit coefficients.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): Merge remote branch 'origin/master' into MPI
Marco Poletti
- [PPL-devel] [GIT] ppl/w3ppl(master): Added a link to IMITATOR.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/w3ppl(master): Typo fixed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): test06 fails with 8-bit coefficients.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed tests.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): test06 fails with 8-bit coefficients.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): MIP_Problem: fix typos in some debug messages and comments, in OK().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): MIP_Problem: fix some debug messages and comments, in OK().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Mention the use of sparse matrices in MIP and PIP solvers.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Mention bug corrected on the input routine for ppl_lpsol.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Announced a couple of new features and bugfixes.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed interval construction from strings.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Mentioned the fix to Interval::Interval(const char*) .
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed interval construction from strings.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Mentioned the fix to Interval::Interval( const char*).
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): MIP_Problem: don' t copy Coefficient objects to cache accesses, in steepest_edge_exact_entering_index().
Marco Poletti
- [PPL-devel] Problems with test suite on alpha
Michael Tautschnig
- [PPL-devel] [GIT] ppl/ppl(master): Reflected the changes in http://gcc.gnu.org/bugzilla /show_bug.cgi?id=8966
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Reflected the changes in http://gcc.gnu.org /bugzilla/show_bug.cgi?id=8966
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(MPI): Init: call MPI_Init and MPI_Finalize directly, instead of using an mpi::environment, avoiding crashes on some systems.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): Distributed_Sparse_Matrix: add TODO.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): Distributed_Sparse_Matrix: optimize compute_working_cost_reducer_functor.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): MIP_Problem: improve a little bit the get_exiting_base_index() performance.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): Distributed_Sparse_Matrix: add an exact_entering_index( ) method.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): MIP_Problem: use Distributed_Sparse_Matrix:: exact_entering_index().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): Distributed_Sparse_Matrix: move some code.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): MIP_Problem: improve a little bit the get_exiting_base_index() performance.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use an oracle to obtain information from an external
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Do not fail automatically when linearizing approximable
Fabio Bossi
- [PPL-devel] ppl "remainder bug" checking on mingw targets
Ruben Van Boxem
- [PPL-devel] [GIT] ppl/ppl(floating_point): Adapted tests on digital filters to latest changes.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: fix regression in textbook_entering_index(), introduced in commit 6880A6.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: optimize second_phase() for sparse working_cost rows.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: optimize process_pending_constraints() for sparse working_cost rows.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: optimize further steepest_edge_float_entering_index() for sparse working_cost rows.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: use a hint iterator for insertions in working_cost, in process_pending_constraints().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: optimize further steepest_edge_exact_entering_index() for sparse working_cost rows.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: add comment.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): ppl_c_implementation_common: fix performance bug in ppl_Linear_Expression_add_to_coefficient.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): MIP_Problem: fix performance bug in compute_generator().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): ppl_c_implementation_common: fix performance bug in ppl_Linear_Expression_add_to_coefficient.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: fix performance bug in compute_generator().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Merge remote branch 'origin/master' into sparse_matrices
Marco Poletti
- [PPL-devel] Fwd: [constraints] MIPLIB Call for Contributions
Roberto Bagnara
- [PPL-devel] Undefined PPL references attempting to build cloog-ppl
Peter Kruse
- [PPL-devel] [GIT] ppl/ppl(master): Mention the correction of an efficiency bug in the C interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Prefer neg_assign to the use of unary minus on Coefficient objects.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Do destroy the MIP object before returning from solve_with_simplex.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Corrected efficiency bugs in the C interface and in MIP_Problem.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Do destroy the MIP object before returning from solve_with_simplex.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Mention the correction of an efficiency bug in the C interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Prefer neg_assign to the use of unary minus on Coefficient objects.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Do destroy the MIP object before returning from solve_with_simplex.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(MPI): Fix compiler errors when using non-distributed matrices .
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): The Solaris sed bug affects all language interfaces (not just the Java one).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(MPI): Revert "Distributed_Sparse_Matrix: print the number of pivot operations in the destructor."
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): The Solaris sed bug affects all language interfaces (not just the Java one ).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(MPI): The Solaris sed bug affects all language interfaces ( not just the Java one).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(MPI): Merge remote branch 'origin/master' into sparse_matrices
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): Merge remote branch 'origin/sparse_matrices' into MPI
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Sparse_Row: make the constructor from a Dense_Row work even when Coefficient_traits:: const_reference is Coefficient.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Sparse_Row: weaken the lower_bound() requirements on the argument.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Sparse_Row: make the constructor from a Dense_Row work even when Coefficient_traits:: const_reference is Coefficient.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Sparse_Row: weaken the lower_bound() requirements on the argument.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Fix comment.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Fix comment.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(MPI): Fix comment.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Grid_Generator_System: remove unused erase_to_end() private method.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Dense_Matrix, Sparse_Matrix: rename the erase_to_end () method into remove_trailing_rows(), changing the argument's meaning.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Bit_Matrix, Sparse_Matrix: rename the {rows, columns}_erase_to_end() methods into remove_trailing_{rows, columns}(), changing the argument's meaning.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added method export_interval_constraints.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Use is_empty instead of marked_empty for
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Temporarily pass a raw value instead of a checked
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added missing uses of AC_LANG_SOURCE.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing uses of AC_LANG_SOURCE.
Roberto Bagnara
- [PPL-devel] compiler warnings ppl-0.10
Dieter Demerre
- [PPL-devel] Fwd: Re: compiler warnings ppl-0.10
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented export_interval_constraints.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added missing emptiness checks.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Added generalized_refine_with_linear_form_inequality.
Fabio Bossi
- [PPL-devel] [GIT] ppl/ppl(floating_point): Always use marked_empty() instead of is_empty() after
Fabio Bossi
Last message date:
Wed Sep 29 19:10:47 CEST 2010
Archived on: Sun Mar 6 09:35:44 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).