February 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(floating_point): Modified return statements.
by Roberto Amadini 25 Feb '10

25 Feb '10

Module: ppl/ppl Branch: floating_point Commit: cef1370849e9e1a196fa73b1009973d53779c4d1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cef1370849e9… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Feb 24 23:58:21 2010 +0100 Modified return statements. --- tests/Floating_Point_Expression/digitalfilters1.cc | 11 +++++------ 1 files changed, 5 insertions(+), 6 deletions(-) diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc index a8ac858..4212662 100644 --- a/tests/Floating_Point_Expression/digitalfilters1.cc +++ b/tests/Floating_Point_Expression/digitalfilters1.cc @@ -261,7 +261,6 @@ test03() { Constraint_System cs; Coefficient M; - Coefficient N; set_M(M, 136); cs.insert(Y <= M); cs.insert(Y >= -M); @@ -328,7 +327,7 @@ test03() { tmp = (FP_Interval_Abstract_Store(abstract_store)).get_interval(Y); nout << "*** Y in " << tmp << " ***" << endl; - return (tmp.lower() == -M && tmp.upper() == M); + return (tmp.lower() == -136 && tmp.upper() == 136); } // Tests rate limiter using polyhedra and ignoring rounding errors. @@ -417,7 +416,7 @@ test04() { tmp = (FP_Interval_Abstract_Store(abstract_store)).get_interval(Y); nout << "*** Y in " << tmp << " ***" << endl; - return (tmp.lower() == -M && tmp.upper() == M); + return (tmp.lower() == -128 && tmp.upper() == 128); } // Tests rate limiter using bounded differences and linearization of @@ -605,7 +604,7 @@ test05() { tmp = interval_store.get_interval(Y); nout << "*** Y in " << tmp << " ***" << endl; - return (tmp.lower() == -M && tmp.upper() == M); + return (tmp.lower() == -144 && tmp.upper() == 144); } @@ -791,7 +790,7 @@ test06() { tmp = interval_store.get_interval(Y); nout << "*** Y in " << tmp << " ***" << endl; - return (tmp.lower() == -M && tmp.upper() == M); + return (tmp.lower() == -144 && tmp.upper() == 144); } // Tests rate limiter using polyhedra domain and linearization of @@ -975,7 +974,7 @@ test07() { tmp = interval_store.get_interval(Y); nout << "*** Y in " << tmp << " ***" << endl; - return (tmp.lower() == -M && tmp.upper() == M); + return (tmp.lower() == -144 && tmp.upper() == 144); } } // namespace

1 0

[GIT] ppl/ppl(floating_point): Several corrections in rate limiter tests.
by Roberto Amadini 25 Feb '10

25 Feb '10

Module: ppl/ppl Branch: floating_point Commit: a999ad72d925e6960921c6b040cf8ee6aec64fd0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a999ad72d925… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Wed Feb 24 23:19:16 2010 +0100 Several corrections in rate limiter tests. --- tests/Floating_Point_Expression/digitalfilters1.cc | 780 ++++++++++---------- 1 files changed, 405 insertions(+), 375 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a999ad72…

1 0

[GIT] ppl/ppl(sparse_matrices): Fixes build: MIP_Problem: enable previously disabled methods total_memory_in_bytes() and external_memory_in_bytes()
by Marco Poletti 24 Feb '10

24 Feb '10

Module: ppl/ppl Branch: sparse_matrices Commit: dcd1bbb9c1f90b4ac701c25832303bd55066ae04 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dcd1bbb9c1f9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Feb 24 22:14:30 2010 +0100 Fixes build: MIP_Problem: enable previously disabled methods total_memory_in_bytes() and external_memory_in_bytes() --- src/MIP_Problem.defs.hh | 2 -- src/MIP_Problem.inlines.hh | 11 +++++++---- 2 files changed, 7 insertions(+), 6 deletions(-) diff --git a/src/MIP_Problem.defs.hh b/src/MIP_Problem.defs.hh index 8766884..89eac7f 100644 --- a/src/MIP_Problem.defs.hh +++ b/src/MIP_Problem.defs.hh @@ -420,13 +420,11 @@ public: */ bool ascii_load(std::istream& s); -/* //! Returns the total size in bytes of the memory occupied by \p *this. memory_size_type total_memory_in_bytes() const; //! Returns the size in bytes of the memory managed by \p *this. memory_size_type external_memory_in_bytes() const; -*/ //! Swaps \p *this with \p y. void swap(MIP_Problem& y); diff --git a/src/MIP_Problem.inlines.hh b/src/MIP_Problem.inlines.hh index 2dff145..0eb3419 100644 --- a/src/MIP_Problem.inlines.hh +++ b/src/MIP_Problem.inlines.hh @@ -149,12 +149,15 @@ MIP_Problem::clear() { swap(tmp); } -/* + inline memory_size_type MIP_Problem::external_memory_in_bytes() const { memory_size_type n - = tableau.external_memory_in_bytes() - + working_cost.external_memory_in_bytes() + = working_cost.external_memory_in_bytes() +// FIXME: add method external_memory_in_bytes() to Sparse_Matrix +#ifndef USE_PPL_SPARSE_MATRIX + + tableau.external_memory_in_bytes() +#endif + input_obj_function.external_memory_in_bytes() + last_generator.external_memory_in_bytes(); // Adding the external memory for `input_cs'. @@ -173,7 +176,7 @@ inline memory_size_type MIP_Problem::total_memory_in_bytes() const { return sizeof(*this) + external_memory_in_bytes(); } -*/ + } // namespace Parma_Polyhedra_Library namespace std {

1 0

[GIT] ppl/ppl(sparse_matrices): Added Marco Poletti to the list of current contributors.
by Roberto Bagnara 24 Feb '10

24 Feb '10

Module: ppl/ppl Branch: sparse_matrices Commit: f9404fcda1acc72d6857c371fe3b38a7914b258f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9404fcda1ac… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 24 22:20:23 2010 +0100 Added Marco Poletti to the list of current contributors. --- CREDITS | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/CREDITS b/CREDITS index b96409d..2fcfc02 100644 --- a/CREDITS +++ b/CREDITS @@ -61,6 +61,10 @@ Current Contributors: rational grids and products of grids and polyhedra. + Marco Poletti (student of the University of Parma) + is working on an implementation of sparse matrices + to be used in the MIP and PIP solvers of the PPL. + Enric Rodriguez Carbonell [5] (Technical University of Catalonia) is working on the implementation of polynomial spaces.

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 24 Feb '10

24 Feb '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c60a221e677… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 16:02:16 2010 +0100 MIP_Problem: fix regression introduced in commit d9bcbc27ab616e36f2dae58b9093078fba05c686 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c981462fe2a3… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 14:47:03 2010 +0100 Unlimited_Sparse_Row_Custom_Slist_Backend::dangerous_iterator::operator++: only update q during debug URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6772b74e321e… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 14:33:30 2010 +0100 Unlimited_Sparse_Row_Custom_Slist_Backend: make pop_front() work even when the list has only one element. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fad1938c4558… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 14:26:33 2010 +0100 Unlimited_Sparse_Row_Custom_Slist_Backend: add assertions in destructor and push_back(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=468ed27854f4… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 14:16:04 2010 +0100 Unlimited_Sparse_Row_Custom_Slist_Backend: add even more assertions in insert() and erase() methods. Fix insert(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4995e5beedfd… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 14:12:15 2010 +0100 Unlimited_Sparse_Row_Custom_Slist_Backend: add more assertions in insert() methods URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2858a50cae26… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 14:00:30 2010 +0100 Unlimited_Sparse_Row_Custom_Slist_Backend::dangerous_iterator: avoid dereferencing NULL in the default constructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f161ba27a2ce… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 13:47:00 2010 +0100 Unlimited_Sparse_Row_Custom_Slist_Backend::dangerous_operator: define previously declared operator iterator() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b9d5a39143b… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 13:44:03 2010 +0100 Unlimited_Sparse_Row: move some includes to the top, so compilation succeeds. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8587872d0ae2… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 13:32:52 2010 +0100 MIP_Problem: don't use operator--() on row iterators. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78107f260272… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 13:32:25 2010 +0100 Unlimited_Sparse_Row_Custom_Slist_Backend: mark inline methods as inline URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab654c753867… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 12:59:32 2010 +0100 Sparse_Matrix: use delete_element_and_shift(). Modify method OK() to follow modifications in Unlimited_Sparse_Row URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f2fd6247e15… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 12:53:28 2010 +0100 Unlimited_Sparse_Row: add method delete_element_and_shift URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b22902783afa… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 12:00:43 2010 +0100 Sparse_Matrix_Row: update to follow modifications in Unlimited_Sparse_Row URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fa0480f8863… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 11:48:03 2010 +0100 Sparse_Row: update to follow modifications in Unlimited_Sparse_Row URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2869980611bb… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 11:47:13 2010 +0100 Unlimited_Sparse_Row: fixed typos in documentation and backend requirements URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7c2a5713fec… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 11:32:55 2010 +0100 Sparse_Matrix, Sparse_Row, Unlimited_Sparse_Row: fixed documentation for swap(i,j) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccf7cf17a4e6… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 11:25:02 2010 +0100 Various changes to Unlimited_Sparse_Row and its backends. Unlimited_Sparse_Row: update the backend requirements for insert() and splice() Unlimited_Sparse_Row: only use backend methods listed as backend requirement. Unlimited_Sparse_Row_Custom_Slist_Backend: update to meet the new requirements for backends Unlimited_Sparse_Row_Std_List_Backend: update to meet the new requirements for backends URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f946b39ed765… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 09:50:45 2010 +0100 Unlimited_Sparse_Row_Std_List_Backend: follow the backend requirements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8200fe1a61bc… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 09:33:41 2010 +0100 Unlimited_Sparse_Row: added documentation on backend requirements. Warning: it's not fully implemented, yet. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba3bca8c159f… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 23 08:53:15 2010 +0100 Added Unlimited_Sparse_Row_Custom_Slist_Backend. Warning: it doesn't compile when enabled, yet. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23320fc42fd4… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 22 10:12:18 2010 +0100 Moved the list used by Unlimited_Sparse_Row in a separate class called Unlimited_Sparse_Row_Std_List_Backend, preparing code for new backends URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b1139c7459e… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 22 09:14:24 2010 +0100 Sparse_Matrix: include Unlimited_Sparse_Row header instead of Sparse_Row's URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37d107389174… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 16:58:43 2010 +0100 MIP_Problem: optimize erase_artificials() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0d8db8aed59… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 15:16:41 2010 +0100 MIP_Problem: optimize a bit get_exiting_base_index() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77fdced65234… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 15:07:42 2010 +0100 Optimize further steepest_edge_float_entering_index() and steepest_edge_exact_entering_index() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=055caa8a4f7f… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 14:48:59 2010 +0100 Fixed steepest_edge_float_entering_index(), optimized steepest_edge_exact_entering_index(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dd2bb33c265… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 14:08:16 2010 +0100 MIP_Problem: optimize method process_pending_constraints(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8cdd4d55c6a… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 13:41:36 2010 +0100 Some changes (see below) to speed up merge_split_variables(). * Moved permute_columns() from MIP_Problem to Sparse_Matrix and Dense_Matrix (restoring original version in Dense_Matrix). * Added remove_column() in Dense_Matrix and optimized version in Sparse_Matrix. * merge_split_variables(): call remove_column() instead of permute_columns() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=012292ce2b7b… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 11:41:22 2010 +0100 MIP_Problem: optimize method permute_columns() using swap(i,j) methods URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f555e8943f0… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 11:40:28 2010 +0100 Sparse_Matrix_Row: added fast swap(i,j) methods to swap elements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc015835402e… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 11:40:06 2010 +0100 Sparse_Row: added fast swap(i,j) methods to swap elements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a2f73a8975d… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 11:39:42 2010 +0100 Dense_Row: added swap(i,j) methods, for compatibility with Sparse_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=705ed87dddf8… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 21 11:38:53 2010 +0100 Unlimited_Sparse_Row: added fast swap(i,j) methods to swap elements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a71c41e512c… Author: Marco Poletti <marco(a)desktop.site> Date: Sat Feb 20 22:38:36 2010 +0100 Various changes (see below) to speed up steepest_edge_float_entering_index() Added iterator and const_iterator in Dense_Row. Added typedefs for matrix-row iterators and removed existing ones. Used these changes to optimize steepest_edge_float_entering_index() for speed. Memory usage increased approximately by 4*tableau.num_columns()*sizeof(Coefficient), in both versions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6e66d24b216… Author: Marco Poletti <marco(a)desktop.site> Date: Sat Feb 20 17:52:47 2010 +0100 MIP_Problem: use x.reset(i) instead of x[i]=0, 2 occurrencies fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19b10f0b693f… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 18:35:09 2010 +0100 MIP_Problem: optimize second version of linear_combine() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d88709da1010… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 18:23:38 2010 +0100 MIP_Problem: optimize third version of linear_combine() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22844856f357… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 17:45:47 2010 +0100 MIP_Problem: use reset() in linear_combine() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b4449c25c1e… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 17:27:25 2010 +0100 Sparse_Matrix: added typedefs: matrix_row_const_reference_type and matrix_row_const_reference_const_iterator URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a08b5691f859… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 16:33:45 2010 +0100 Added reset() methods in Unlimited_Sparse_Row, Sparse_Row, Dense_Row, Sparse_Matrix_Row URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3aab68f3fc8e… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 15:18:02 2010 +0100 Moved back normalize() from MIP_Problem to Row and Unlimited_Sparse_Row. Restored optimized version for Unlimited_Sparse_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9decbc2866d0… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 13:39:10 2010 +0100 Sparse_Matrix: make the OK() method faster URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef5d873b10e0… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 13:34:48 2010 +0100 Sparse_Row: make the OK() method faster URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bdf0b3e19547… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 13:32:35 2010 +0100 Sparse_Matrix: make the OK() method faster URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c71df1941e07… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 13:09:05 2010 +0100 Sparse_Matrix: inlined methods URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b3068cd3e2b… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 12:57:48 2010 +0100 Unlimited_Sparse_Row: inline methods URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9204f48a8e1e… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 12:34:57 2010 +0100 Sparse_Row: inline methods URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=665ce310e762… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 12:20:10 2010 +0100 MIP_Problem: fix linear_combine(): pass first argument by reference instead of by value URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a3c3d28f70c… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 11:55:49 2010 +0100 Sparse_Matrix: removed old prototype for normalize() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32fbd6a15943… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 11:51:01 2010 +0100 Sparse_Matrix: pass template arguments by reference or const reference when appropriate URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f56065e7a42… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 11:45:50 2010 +0100 Unlimited_Sparse_Row: pass template arguments by reference or const reference when appropriate URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=45bcbb3b2144… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 11:15:07 2010 +0100 Rename template argument to avoid confusion in normalize() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fac5fdea5d0… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 10:53:26 2010 +0100 Pass argument to normalize() by reference URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=43b97c407080… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 09:49:38 2010 +0100 Move static const 'zero' from Unlimited_Sparse_Row to Unlimited_Sparse_Row::get() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7fcad9079aa3… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 09:13:01 2010 +0100 Sparse_Matrix_Row: removed optimized version of normalize(), trying to pass checks URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a639661b498… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 09:12:07 2010 +0100 Sparse_Matrix_Row: removed conversion operator to Sparse_Row URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c226f40c639a… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 09:09:01 2010 +0100 Moved normalize() to MIP_Problem URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c21fc0abf4b… Author: Marco Poletti <marco(a)desktop.site> Date: Mon Feb 15 08:59:17 2010 +0100 Dense_Row: removed set() method URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c719f19f9f8… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 14 22:01:33 2010 +0100 Factorized permute_columns from Sparse_Matrix and Dense_Matrix to MIP_Problem URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89327ed43e97… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 14 21:50:17 2010 +0100 MIP_Problem: reverted optimizations in linear_combine(), trying to pass checks URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5de633469e88… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 14 20:12:07 2010 +0100 Unlimited_Sparse_Row: dump zero elements, too, in ascii_dump() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=137ea543735b… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 14 20:10:07 2010 +0100 Unlimited_Sparse_Row: add assertion in get() method URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0d9ef022f7c… Author: Marco Poletti <marco(a)desktop.site> Date: Sun Feb 14 20:09:12 2010 +0100 Unlimited_Sparse_Row: reimplement find() methods to make them faster URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3239e61645de… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 22:05:08 2010 +0100 MIP_Problem: fix linear_combine version used with sparse matrixes URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0f7acc4b2f6… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 21:33:50 2010 +0100 Sparse_Matrix_Row: add assertion in reset() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17d90a21740a… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 21:29:36 2010 +0100 Sparse_Matrix: speed up ascii_load URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=983018756056… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 21:20:33 2010 +0100 Sparse_Row: speed up a little the resize() method URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b2df37a98a12… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 21:14:07 2010 +0100 Unlimited_Sparse_Row: fixed operator== URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47e088b2ca32… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 21:06:03 2010 +0100 Unlimited_Sparse_Row: fixed operator[] URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=021869668eb9… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 20:55:12 2010 +0100 MIP_Problem: don't pass Row::Flags() to the working cost constructor, in template constructors of MIP_Problem URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b2fa0f1f87fe… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 18:05:59 2010 +0100 First version that compiles with -D"USE_PPL_SPARSE_MATRIX" Sparse_Matrix_Row: remove unary_compose, compose1() and select2nd. Sparse_Matrix_Row: add apply_to_data() and applier_to_data. Sparse_Matrix_Row: use apply_to_data() in for_each_nonzero() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e72e95f959c… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 15:09:03 2010 +0100 Sparse_Matrix_Row: move select2nd, compose1, unary_compose implementations to .inlines.hh. Use typename instead of class URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ded8aa899bcc… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 15:06:06 2010 +0100 Sparse_Matrix: add class select2nd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b014751e3c62… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 14:45:46 2010 +0100 Sparse_Matrix: add class unary_compose and static method compose1() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8bafea539bc… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 14:03:36 2010 +0100 Sparse_Matrix: added method permute_columns(). Sparse_Matrix_Row: added method normalize(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d2f12ebbfd0… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 13:36:49 2010 +0100 Sparse_Matrix: add erase_to_end() method URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f45e54a7424d… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 12:42:40 2010 +0100 Sparse_Matrix_Row: rewrite implementation of method OK() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e23956660a65… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 12:40:16 2010 +0100 Matrix_Sparse_Row: added swap() method and std::swap specialization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=588165b00ae2… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 12:27:23 2010 +0100 Sparse_Row: added swap() method and std::swap specialization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac1d72683d61… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 12:23:14 2010 +0100 Unlimited_Sparse_Row.cc: don't unnecessarily break a short line URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01bd868290af… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 12:21:13 2010 +0100 Unlimited_Sparse_Row: added swap() method and std::swap specialization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=756c46225fce… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 12:10:53 2010 +0100 Sparse_Matrix_Row: add for_each_nonzero() method URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b962be7d0b79… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 11:49:03 2010 +0100 MIP_Problem.cc: many optimizations, that mainly affect the Sparse_Matrix implementation * Row element access is no longer O(1), so use aliases to need only one access. * Use get() intead of operator[] for read-only access. * Move element access to end of boolean expression, to exploit lazy evaluation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e856214a569e… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 11:18:39 2010 +0100 Sparse_Matrix_Row: add get() method and operator[] URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11fb0f8fdb0e… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 11:17:00 2010 +0100 Sparse_Row: remove infinite recursion due to a typo URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94c781dc4fae… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 11:13:07 2010 +0100 Sparse_Matrix_Row: added size() method URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46a167d62bda… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 11:06:54 2010 +0100 MIP_Problem: overload method linear_combine() to work with sparse matrixes' rows URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3178b21a966… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 09:41:40 2010 +0100 Sparse_Row, Unlimited_Sparse_Row: add operator[], remove set() method URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb016e17c626… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 09:24:10 2010 +0100 Unlimited_Sparse_Matrix: add PPL_ASSERT(OK()) at end of method ascii_load() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=600eb07d81bc… Author: Marco Poletti <marco(a)desktop.site> Date: Fri Feb 12 09:23:17 2010 +0100 Unlimited_Sparse_Matrix: use pair<int,int> as value_type. Warning: users of the class will be able to violate the internal constraint using Unlimited_Sparse_Matrix::iterator . URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d60bf0a46fa… Author: Marco Poletti <marco(a)desktop.site> Date: Thu Feb 11 19:40:34 2010 +0100 MIP_Problem.cc: fixed indentation, replaced tabs with spaces URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db6a4fb27b35… Author: Marco Poletti <marco(a)desktop.site> Date: Thu Feb 11 16:29:21 2010 +0100 Dense_Row: added get() and set() methods URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cd54efeedbe… Author: Marco Poletti <marco(a)desktop.site> Date: Thu Feb 11 16:23:58 2010 +0100 Sparse_Row: added get() and set() methods URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30b8e0115323… Author: Marco Poletti <marco(a)desktop.site> Date: Thu Feb 11 16:20:28 2010 +0100 Unlimited_Sparse_Row: added get() and set() methods URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a2e16d1f74a… Author: Marco Poletti <marco(a)desktop.site> Date: Thu Feb 11 10:48:01 2010 +0100 MIP_Problem: always use Dense_Row as row_type URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec2d34f5f40a… Author: Marco Poletti <marco(a)desktop.site> Date: Thu Feb 11 10:32:20 2010 +0100 MIP_Problem: correct typedef for matrix_row_reference_type URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=754bbfeba229… Author: Marco Poletti <marco(a)desktop.site> Date: Thu Feb 11 10:17:30 2010 +0100 Sparse_Row: added method shrink(), needed for compatibility with Dense_Row URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b703edd7753… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 22:15:55 2010 +0100 Dense_matrix: wrap long lines URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62283ac4e378… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 22:12:56 2010 +0100 Dense_Matrix: fixed Doxygen comment URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10789393a957… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 22:10:27 2010 +0100 Sparse_Matrix: add method remove_trailing_columns(). fixed Doxygen comment URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb710eed08b1… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 22:05:02 2010 +0100 Sparse_Matrix: added add_zero_rows(), add_zero_columns() and add_zero_rows_and_columns() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c96e59e638a2… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 22:03:30 2010 +0100 Various changes needed to use for_each_nonzero() in MIP_Problem. Dense_Row: add for_each_nonzero() and for_each_nonzero() const methods. MIP_Problem: use for_each_nonzero() in process_pending_constraints(). Unlimited_Sparse_Row: modify for_each_nonzero() methods' signature to match those in Dense_row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=822b5e25992a… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 21:15:53 2010 +0100 Unlimited_Sparse_Row: add method for_each_nonzero() and for_each_nonzero() const URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c094e2c975ca… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 21:03:11 2010 +0100 Type changes in Sparse_Matrix, Unlimited_Sparse_Matrix Sparse_Matrix: don't define key_type, use dimension_type. Sparse_Matrix: always pass dimension_type by value and const Unlimited_Sparse_Row: don't define dimension_type, data_type, pointer, reference and size_type Unlimited_Sparse_Row: always pass dimension_type by value and const URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f542ab1c25c3… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 19:18:08 2010 +0100 Sparse_Row: don't declare key_type, size_type and dimension_type. Always pass dimension_type values by value and as const. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c38dba472f41… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 18:37:32 2010 +0100 Many changes on Dense_Matrix, MIP_Problem and Dense_Row Dense_Matrix: now it is a copy of the class Matrix that uses Dense_Row instead of Row MIP_Problem: use Dense_Row instead of Row MIP_Problem: use typedefs for row reference and const row reference URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cd2faa00071… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 18:27:01 2010 +0100 Sparse_Row: add methods construct(sz) and construct(sz,capacity) for compatibility with Dense_Row URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c34292018837… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 10:14:07 2010 +0100 Added class Dense_Row, that (currently) mirrors Row. It will be modified to have a subset of methods in Sparse_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76e501e1606c… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 09:20:19 2010 +0100 Dense_Matrix: fix include error. Sparse_Matrix: add methods for_each_row() and for_each_row() const. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b1880eaa96f… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 09:13:32 2010 +0100 Dense_Matrix: added methods for_each_row() and for_each_row() const URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5438cea36389… Author: Marco Poletti <marco(a)desktop.site> Date: Wed Feb 10 08:35:17 2010 +0100 Sparse_Row: added methods ascii_dump() and ascii_load() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8189ccf426b4… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 21:27:31 2010 +0100 Sparse_Matrix: added methods ascii_load() and ascii_dump() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16b5a3975241… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 21:27:13 2010 +0100 Unlimited_Sparse_Row: added methods ascii_load() and ascii_dump() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe79299f768b… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 20:56:50 2010 +0100 Sparse_Matrix: rename width_ to num_columns_. Add methods num_rows() and num_columns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42c964327ad4… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 20:53:38 2010 +0100 Dense_matrix: comment out methods external_memory_in_bytes() and total_memory_in_bytes() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e490360a08d2… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 20:53:08 2010 +0100 MIP_Problem: comment out methods external_memory_in_bytes() and total_memory_in_bytes() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=802a572a1a5c… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 19:07:47 2010 +0100 MIP_Problem.defs.hh: use either Dense_Matrix or Sparse_Matrix instead of Matrix URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c13a951e479… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 19:06:26 2010 +0100 Dense_Matrix.inlines.hh: removed useless includes URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6564f96336a0… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 17:12:07 2010 +0100 Added class Dense_Matrix, that (currently) mirrors Matrix. It will be modified to have a subset of methods in Sparse_Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa22a19f551d… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 16:19:51 2010 +0100 Sparse_Matrix: add resize() methods URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3916aa61ab00… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 16:19:25 2010 +0100 Unlimited_Sparse_Row: make class Assignable URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b052d8743017… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 13:01:19 2010 +0100 Sparse_Matrix: added operator[] URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e0c171f5d85… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 12:50:23 2010 +0100 Removed spaces at end of line in Sparse_matrix URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3621844ea66f… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 12:48:34 2010 +0100 Added Sparse_Matrix class URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07ce27e88277… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 12:22:56 2010 +0100 Sparse_Row: modify argument order in constructor URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3dbe1ea7e6c… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 10:58:59 2010 +0100 Sparse_Row: Added cast operator to Unlimited_Sparse_Row URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be88ec737f81… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 10:30:19 2010 +0100 Sparse_Row: check the contained Unlimited_Sparse_Row object's invariant in OK() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15255e9b4e33… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 10:28:34 2010 +0100 Unlimited_Sparse_Row: assert Ok() before returning in methods that modify the object URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0cae63eb333… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 10:26:23 2010 +0100 Unlimited_Sparse_Row: add the OK() method URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b634ac119cb3… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 10:19:28 2010 +0100 Sparse_Row: avoid copy in constructor passing std::vector parameter by const reference URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06da7b221498… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 10:17:52 2010 +0100 Sparse_Row: rename method Ok() to OK() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f6d931bbbd9… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 10:10:48 2010 +0100 Sparse_Row: assert Ok() before returning in methods that modify the object URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92051ae1ba62… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 10:04:48 2010 +0100 Unlimited_Sparse_Row: fixed operator==() URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c37f1ccade37… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 10:01:36 2010 +0100 Unlimited_Sparse_Row: removed not-needed includes URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6161bf7a1082… Author: Marco Poletti <marco(a)desktop.site> Date: Tue Feb 9 09:49:40 2010 +0100 Created classes Sparse_Row and Unlimited_Sparse_Row

1 0

[GIT] ppl/ppl(sparse_matrices): Tests 1-18 restored. Test 19 is known to fail.
by Roberto Bagnara 24 Feb '10

24 Feb '10

Module: ppl/ppl Branch: sparse_matrices Commit: 0bcfbb57b083b9789352d53fc5e653b857420093 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bcfbb57b083… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 24 08:38:04 2010 +0100 Tests 1-18 restored. Test 19 is known to fail. --- tests/PIP_Problem/pipproblem1.cc | 38 +++++++++++++++++++------------------- 1 files changed, 19 insertions(+), 19 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index bd5f636..8ab96be 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -562,23 +562,23 @@ test19() { } // namespace BEGIN_MAIN - //DO_TEST(test01); - //DO_TEST_F8(test02); - //DO_TEST(test03); - //DO_TEST(test04); - //DO_TEST_F8(test05); - //DO_TEST(test06); - //DO_TEST_F8(test07); - //DO_TEST_F8(test08); - //DO_TEST_F8(test09); - //DO_TEST_F8(test10); - //DO_TEST(test11); - //DO_TEST(test12); - //DO_TEST(test13); - //DO_TEST(test14); - //DO_TEST(test15); - //DO_TEST(test16); - //DO_TEST(test17); - //DO_TEST(test18); - DO_TEST(test19); + DO_TEST(test01); + DO_TEST_F8(test02); + DO_TEST(test03); + DO_TEST(test04); + DO_TEST_F8(test05); + DO_TEST(test06); + DO_TEST_F8(test07); + DO_TEST_F8(test08); + DO_TEST_F8(test09); + DO_TEST_F8(test10); + DO_TEST(test11); + DO_TEST(test12); + DO_TEST(test13); + DO_TEST(test14); + DO_TEST(test15); + DO_TEST(test16); + DO_TEST(test17); + DO_TEST(test18); + DO_TEST_F(test19); END_MAIN

1 0

[GIT] ppl/ppl(master): Tests 1-18 restored. Test 19 is known to fail.
by Roberto Bagnara 24 Feb '10

24 Feb '10

Module: ppl/ppl Branch: master Commit: 0bcfbb57b083b9789352d53fc5e653b857420093 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bcfbb57b083… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 24 08:38:04 2010 +0100 Tests 1-18 restored. Test 19 is known to fail. --- tests/PIP_Problem/pipproblem1.cc | 38 +++++++++++++++++++------------------- 1 files changed, 19 insertions(+), 19 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index bd5f636..8ab96be 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -562,23 +562,23 @@ test19() { } // namespace BEGIN_MAIN - //DO_TEST(test01); - //DO_TEST_F8(test02); - //DO_TEST(test03); - //DO_TEST(test04); - //DO_TEST_F8(test05); - //DO_TEST(test06); - //DO_TEST_F8(test07); - //DO_TEST_F8(test08); - //DO_TEST_F8(test09); - //DO_TEST_F8(test10); - //DO_TEST(test11); - //DO_TEST(test12); - //DO_TEST(test13); - //DO_TEST(test14); - //DO_TEST(test15); - //DO_TEST(test16); - //DO_TEST(test17); - //DO_TEST(test18); - DO_TEST(test19); + DO_TEST(test01); + DO_TEST_F8(test02); + DO_TEST(test03); + DO_TEST(test04); + DO_TEST_F8(test05); + DO_TEST(test06); + DO_TEST_F8(test07); + DO_TEST_F8(test08); + DO_TEST_F8(test09); + DO_TEST_F8(test10); + DO_TEST(test11); + DO_TEST(test12); + DO_TEST(test13); + DO_TEST(test14); + DO_TEST(test15); + DO_TEST(test16); + DO_TEST(test17); + DO_TEST(test18); + DO_TEST_F(test19); END_MAIN

1 0

[GIT] ppl/ppl(master): Added a test illustrating a bug when incrementally inserting a parameter constraint .
by François Galea 23 Feb '10

23 Feb '10

Module: ppl/ppl Branch: master Commit: e6b551f5f62bd3dbf1d39dd391e6a31361f7511c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6b551f5f62b… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Feb 23 17:31:32 2010 +0100 Added a test illustrating a bug when incrementally inserting a parameter constraint. --- tests/PIP_Problem/pipproblem1.cc | 69 ++++++++++++++++++++++++++++---------- 1 files changed, 51 insertions(+), 18 deletions(-) diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index 9810c33..bd5f636 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -527,25 +527,58 @@ test18() { return ok; } +bool +test19() { + // Same problem as test02, but incrementally adding a parameter constraint + // making the problem unfeasible. + Variable i(0); + Variable j(1); + Variable n(2); + Variable m(3); + Variables_Set params(n, m); + + Constraint_System cs; + cs.insert(3*j >= -2*i+8); + cs.insert(j <= 4*i - 4); + cs.insert(j <= m); + //cs.insert(j >= 0); + cs.insert(i <= n); + + PIP_Problem pip(cs.space_dimension(), cs.begin(), cs.end(), params); + + bool ok = (pip.solve() == OPTIMIZED_PIP_PROBLEM); + if (ok) { + const PIP_Tree solution = pip.solution(); + ok &= solution->OK(); + pip.print_solution(nout); + } + + cs.insert(n <= 1); + ok &= (pip.solve() == UNFEASIBLE_PIP_PROBLEM); + + return ok; +} + } // namespace BEGIN_MAIN - DO_TEST(test01); - DO_TEST_F8(test02); - DO_TEST(test03); - DO_TEST(test04); - DO_TEST_F8(test05); - DO_TEST(test06); - DO_TEST_F8(test07); - DO_TEST_F8(test08); - DO_TEST_F8(test09); - DO_TEST_F8(test10); - DO_TEST(test11); - DO_TEST(test12); - DO_TEST(test13); - DO_TEST(test14); - DO_TEST(test15); - DO_TEST(test16); - DO_TEST(test17); - DO_TEST(test18); + //DO_TEST(test01); + //DO_TEST_F8(test02); + //DO_TEST(test03); + //DO_TEST(test04); + //DO_TEST_F8(test05); + //DO_TEST(test06); + //DO_TEST_F8(test07); + //DO_TEST_F8(test08); + //DO_TEST_F8(test09); + //DO_TEST_F8(test10); + //DO_TEST(test11); + //DO_TEST(test12); + //DO_TEST(test13); + //DO_TEST(test14); + //DO_TEST(test15); + //DO_TEST(test16); + //DO_TEST(test17); + //DO_TEST(test18); + DO_TEST(test19); END_MAIN

1 0

[GIT] ppl/ppl(floating_point): Fixed a test on BDShape.
by Fabio 23 Feb '10

23 Feb '10

Module: ppl/ppl Branch: floating_point Commit: 710e5d5efd124fc1ff3760a4be78690578ef6bc6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=710e5d5efd12… Author: Fabio <Fabio(a)C1P4.(none)> Date: Tue Feb 23 14:54:34 2010 +0100 Fixed a test on BDShape. --- tests/Floating_Point_Expression/digitalfilters1.cc | 66 ++++++++++--------- 1 files changed, 35 insertions(+), 31 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=710e5d5e…

1 0

[GIT] ppl/ppl(master): Tests 14 and 15 are known to overflow on 8-bit coefficients.
by Enea Zaffanella 23 Feb '10

23 Feb '10

Module: ppl/ppl Branch: master Commit: 63a514cb4d7f1aa7f722560f14029bd5e2aef2ab URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63a514cb4d7f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 23 10:42:03 2010 +0100 Tests 14 and 15 are known to overflow on 8-bit coefficients. --- tests/PIP_Problem/exceptions1.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/PIP_Problem/exceptions1.cc b/tests/PIP_Problem/exceptions1.cc index 16b8e3e..769651b 100644 --- a/tests/PIP_Problem/exceptions1.cc +++ b/tests/PIP_Problem/exceptions1.cc @@ -377,6 +377,6 @@ BEGIN_MAIN DO_TEST(test11); DO_TEST(test12); DO_TEST(test13); - DO_TEST(test14); - DO_TEST(test15); + DO_TEST_F8(test14); + DO_TEST_F8(test15); END_MAIN

1 0