April 2010 Archives by date
Starting: Thu Apr 1 09:49:20 CEST 2010
Ending: Fri Apr 30 07:52:56 CEST 2010
Messages: 141
- [PPL-devel] [GIT] ppl/ppl(master): Added "quasi ranking functions" generation procedures to OCaml interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Varios bug fixes and small improvements.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Tests added.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Restored previously removed method PIP_Problem_constraints().
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Completed a draft of the PIP_Problem interface for Prolog.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Type fixed.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): A start on the PIP_Problem interface for OCaml.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Completed a draft implementation of PIP_Problem OCaml interface.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Corrected a couple of typos.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Avoid useless boxing of builtins when interfacing the wrap_assign().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(products): Uniformed code and get rid of a warning.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(products): Revert "Uniformed code and get rid of a warning."
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Uniformed code and get rid of a warning.
Abramo Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed bugs in Octagonal_Shape: drop_some_on_integer_points().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added known results for a couple of tests.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed Java interface for PIP_Decision_Node:: child_node(branch).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Corrected PIP_Problem test04 to properly call predicate ppl_*_artificials( ).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added calls to WEIGHT macros.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Check if the Prolog system supports unbounded integers before
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Solaris users should install GNU sed.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): ...get_big_parameter_dimension/2 changed to
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Added a couple of entries.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Restructured the OCaml interface to PIP_Tree_Node C++ classes.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Added BagnaraMPZ10TR.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Removed artificial_parameter_sequence type.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Simplified Prolog interface for PIP_Tree_Node.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Added documentation in the OCaml interface for the PIP_Problem.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Simplify function names in PIP_Tree_Node, matching
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): ppl_PIP_Problem_get_big_parameter_dimension() now throws
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Removed a completed item:
Patricia Hill
- [PPL-devel] Linear ranking functions/relations in PPL
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Better documentation for the two Row_Impl::Impl:: operator delete(...).
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Dealt with one of the items.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added documentation for Prolog PPL_Problem
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Added ppl_PIP_Problem_has_big_parameter_dimension
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row: update the backend requirements.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row: fix combine_needs_second() for backends that define PPL_SPARSE_BACKEND_INVALIDATES_REFERENCES.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Perl is no longer a strict requirement.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge remote branch 'origin/master'
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Pushed one item to PPL 0.12. We will not have 0.10. 3 release.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Renamed.
Roberto Bagnara
- [PPL-devel] Linear ranking functions/relations in PPL
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed Documentation.
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(master): Man pages updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Tentative release date is May 8, 2010. Reorganized and improved some news items.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Add new classes: CO_Tree and Unlimited_Sparse_Row_CO_Tree_backend. Add tests for CO_Tree. Avoid conditional inclusion of headers.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Renamed Unlimited_Sparse_Row into Unlimited_Sparse_Row_Over_Linear_Sequence . Now Unlimited_Sparse_Row is a typedef, that depends on the selected compile option.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Variable hiding avoided.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added a point about the new drop_some_non_integer_points() methods.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Trailing whitespace removed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added drop_some_non_integer_points() to the product domain
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Added drop_some_non_integer_points( const Variables_Set& vars,
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Bibliography updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Cite BMPZ10.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Worked around a Doxygen bug.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added an entry for the new functionality concerning the synthesis of linear (quasi-) ranking functions.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): test01() and test03() always succeed.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Added static method Coefficient.ppl_bits() to Java interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Solution_Node: fix NOISY_PIP section in generate_cut().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree, CO_Tree: major changes. Now all test pass with -DUSE_PPL_SPARSE_BACKEND_CO_TREE.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Added tests to the OCaml interface for new functions
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Fixed some bugs in the tests for drop_some_non_integer_points()
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Avoid assertion crash on universe polyhedra.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added further tests for the termination methods.
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Corrected typo in shift_unprimed_variables().
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Some tests now succeed even on initially empty polyhedra.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: construct Coefficient objects only when needed.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: inline simple methods.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in the all_affine_ranking_functions*_Grid* tests
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Allow for the Shape_Preserving_Product to be generated
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: define iterator traits for unordered_iterator and unordered_const_iterator .
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Sparse_Row_Reference: use unordered iterators in for_each_nonzero() methods.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: un-inline normalize() method.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: fix bug in steepest_edge_float_entering_index().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): CO_Tree: set max_density to 0.9.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: little optimization in steepest_edge_float_entering_index().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: use unordered iterators in normalize().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Add ppl_Coefficient_bits to Prolog and OCaml interfaces.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Increased GLOBALSZ for the execution of the automatically generated test.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Overflow is expected for PIP_Problem tests with 8 bits coefficients.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Minor improvements to documentation.
Enea Zaffanella
- [PPL-devel] configure error: __GMP_BITS_PER_MP_LIMB: first use in this function, with gmp 5.0.1
Timothy Madden
- [PPL-devel] [GIT] ppl/ppl(master): Both GNU Prolog 1.3.0 and GNU Prolog 1.3. 1 have bugs that affect the PPL.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into floating_point
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed Documentation.
Fabio Biselli
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Problem: optimize solve() for backends with fast random writes.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: optimize process_pending_constraints() for sparse backends with fast random reads and/or writes.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Added tests in the Prolog interface for
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): A Prolog PIP_Problem test overflows positively for checked_int8
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(master): Added PIP_Problem predicates to list of predicates
Patricia Hill
- [PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): New commits
Roberto Bagnara
- [PPL-devel] configure error: __GMP_BITS_PER_MP_LIMB: first use in this function, with gmp 5.0.1
Enea Zaffanella
- [PPL-devel] configure error: __GMP_BITS_PER_MP_LIMB: first use in this function, with gmp 5.0.1
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Silenced warnings.
Abramo Bagnara
- [PPL-devel] PPL 0.11 ready for beta testing
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): A minor stylistic improvement and a typo corrected.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Add method wrap_assign() to Pointset_Powerset.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Corrected typo causing a bug in the XSB Prolog interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/w3ppl(master): Added BandaG10.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Corrected a few typos.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: remove some TODOs.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: add a faster implementation for find2() and find2_dangerous() methods.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: add a faster implementation for the get2() method.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Dense_Row: implement operator->() for iterators and const iterators.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Use itr->field instead of (*itr).field, many occurrencies fixed.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(master): Properly document ppl_Coefficient_bits/1.
Enea Zaffanella
- [PPL-devel] PPL 0.11 ready for beta testing
Sebastian Pop
- [PPL-devel] PPL 0.11 ready for beta testing
Albert Cohen
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Sparse_Matrix: silence compiler warning in OK().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: silence compiler warnings, in get2().
Marco Poletti
- [PPL-devel] PPL 0.11 ready for beta testing
Sebastian Pop
- [PPL-devel] [GIT] ppl/ppl(master): Added $(noinst_HEADERS) to BUILT_SOURCES so as to build ppl.hh early when !BUILD_CXX_INTERFACE.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Fixed the printing of equality constraints.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Modified signature of method maps() in Java Partial_Function interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(master): Use a C++ object to encode a Partial_Function in the Java interface.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Fixed expected results for tests/Octagonal_Shape/ writeoctagon1.cc
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Added class Partial_Function to the PPL library.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Put under git control.
Enea Zaffanella
- [PPL-devel] [GIT] ppl/ppl(master): Version number bumped.
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: optimize combine_needs_second().
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem:: use lower_bound_hint_assign() in steepest_edge_float_entering_index().
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): MIP_Problem: fix performance regression in steepest_edge_float_entering_index(), introduced in commit 6DA127.
Marco Poletti
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): MIP_Problem: fix performance regression in steepest_edge_exact_entering_index(), introduced in commit 8194fc.
Marco Poletti
- [PPL-devel] PPL in windows
saber mirzaei
- [PPL-devel] PPL in windows
Roberto Bagnara
- [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: fix and add assertions in lower_bound_hint_assign() methods.
Marco Poletti
- [PPL-devel] [GIT] ppl/w3ppl(master): BagnaraHZ10CGTA has been published.
Roberto Bagnara
Last message date:
Fri Apr 30 07:52:56 CEST 2010
Archived on: Sun Mar 6 09:35:43 CET 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).