April 2010 Archives by subject

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

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(bounded_arithmetic): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(floating_point): Fixed Documentation.   Fabio Biselli
• [PPL-devel] [GIT] ppl/ppl(floating_point): New commits   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): ...get_big_parameter_dimension/2 changed to   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): A minor stylistic improvement and a typo corrected.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): A Prolog PIP_Problem test overflows positively for checked_int8   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): Add method wrap_assign() to Pointset_Powerset.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Add ppl_Coefficient_bits to Prolog and OCaml interfaces.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added ppl_PIP_Problem_has_big_parameter_dimension   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added "quasi ranking functions" generation procedures to OCaml interface.   Enea Zaffanella
• [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): Added a couple of entries.   Enea Zaffanella
• [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): Added an entry for the new functionality concerning the synthesis of linear (quasi-) ranking functions.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Added calls to WEIGHT macros.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added class Partial_Function to the PPL library.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added documentation for Prolog PPL_Problem   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): Added drop_some_non_integer_points( const Variables_Set& vars,   Patricia Hill
• [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 further tests for the termination methods.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added known results for a couple of tests.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added PIP_Problem predicates to list of predicates   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added static method Coefficient.ppl_bits() to Java interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Added tests in the Prolog interface for   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Added tests to the OCaml interface for new functions   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Allow for the Shape_Preserving_Product to be generated   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Avoid assertion crash on universe polyhedra.   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(master): Better documentation for the two Row_Impl::Impl:: operator delete(...).   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Bibliography updated.   Roberto Bagnara
• [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(master): Check if the Prolog system supports unbounded integers before   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Cite BMPZ10.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Completed a draft implementation of PIP_Problem OCaml interface.   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): Corrected a couple of typos.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected a few typos.   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): Corrected typo causing a bug in the XSB Prolog interface.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Corrected typo in shift_unprimed_variables().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Dealt with one of the items.   Enea Zaffanella
• [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): Fixed bugs in Octagonal_Shape: drop_some_on_integer_points().   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Fixed Documentation.   Fabio Biselli
• [PPL-devel] [GIT] ppl/ppl(master): Fixed expected results for tests/Octagonal_Shape/ writeoctagon1.cc   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): Fixed some bugs in the tests for drop_some_non_integer_points()   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Fixed the printing of equality constraints.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Increased GLOBALSZ for the execution of the automatically generated test.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Man pages updated.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Merge branch 'master' into floating_point   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Merge remote branch 'origin/master'   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Minor improvements to documentation.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Modified signature of method maps() in Java Partial_Function interface.   Enea Zaffanella
• [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): Perl is no longer a strict requirement.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): ppl_PIP_Problem_get_big_parameter_dimension() now throws   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Properly document ppl_Coefficient_bits/1.   Enea Zaffanella
• [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): Put under git control.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Removed artificial_parameter_sequence type.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Removed a completed item:   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Renamed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Restored previously removed method PIP_Problem_constraints().   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Restructured the OCaml interface to PIP_Tree_Node C++ classes.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Silenced warnings.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Simplified Prolog interface for PIP_Tree_Node.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Simplify function names in PIP_Tree_Node, matching   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Solaris users should install GNU sed.   Enea Zaffanella
• [PPL-devel] [GIT] ppl/ppl(master): Some tests now succeed even on initially empty polyhedra.   Enea Zaffanella
• [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(master): test01() and test03() always succeed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Tests added.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Trailing whitespace removed.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Type fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Typo fixed.   Patricia Hill
• [PPL-devel] [GIT] ppl/ppl(master): Uniformed code and get rid of a warning.   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Updated.   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): Variable hiding avoided.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(master): Varios bug fixes and small improvements.   Patricia Hill
• [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): Version number bumped.   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): Worked around a Doxygen bug.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): Revert "Uniformed code and get rid of a warning."   Abramo Bagnara
• [PPL-devel] [GIT] ppl/ppl(products): Uniformed code and get rid of a warning.   Abramo 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): CO_Tree: construct Coefficient objects only when needed.   Marco Poletti
• [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): CO_Tree: inline simple methods.   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): Dense_Row: implement operator->() for iterators and const iterators.   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): MIP_Problem: fix performance regression in steepest_edge_exact_entering_index(), introduced in commit 8194fc.   Marco Poletti
• [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: little optimization in steepest_edge_float_entering_index().   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(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): 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): PIP_Problem: optimize solve() for backends with fast random writes.   Marco Poletti
• [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): 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(sparse_matrices): Sparse_Matrix: silence compiler warning in OK().   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): Unlimited_Sparse_Row: fix combine_needs_second() for backends that define PPL_SPARSE_BACKEND_INVALIDATES_REFERENCES.   Marco Poletti
• [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_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(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): Unlimited_Sparse_Row_Over_CO_Tree: fix and add assertions in lower_bound_hint_assign() methods.   Marco Poletti
• [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): Unlimited_Sparse_Row_Over_CO_Tree: remove some TODOs.   Marco Poletti
• [PPL-devel] [GIT] ppl/ppl(sparse_matrices): Unlimited_Sparse_Row_Over_CO_Tree: silence compiler warnings, in get2().   Marco Poletti
• [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): Unlimited_Sparse_Row_Over_CO_Tree: use unordered iterators in normalize().   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/w3ppl(master): Added BagnaraMPZ10TR.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): Added BandaG10.   Roberto Bagnara
• [PPL-devel] [GIT] ppl/w3ppl(master): BagnaraHZ10CGTA has been published.   Roberto Bagnara
• [PPL-devel] configure error: __GMP_BITS_PER_MP_LIMB: first use in this function, with gmp 5.0.1   Timothy Madden
• [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] Linear ranking functions/relations in PPL   Roberto Bagnara
• [PPL-devel] Linear ranking functions/relations in PPL   Roberto Bagnara
• [PPL-devel] PPL 0.11 ready for beta testing   Roberto Bagnara
• [PPL-devel] PPL 0.11 ready for beta testing   Sebastian Pop
• [PPL-devel] PPL 0.11 ready for beta testing   Albert Cohen
• [PPL-devel] PPL 0.11 ready for beta testing   Sebastian Pop
• [PPL-devel] PPL in windows   saber mirzaei
• [PPL-devel] PPL in windows   Roberto Bagnara

Last message date: Fri Apr 30 07:52:56 CEST 2010
Archived on: Fri Jan 20 18:10:37 CET 2012

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