URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e0b4f3cb09b8... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 20 18:43:57 2010 +0100

Remove the Sparse_Matrix class and add a Matrix<Row> class instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84600dacfb4b2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Dec 20 09:13:43 2010 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96604c0b36129... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Dec 19 12:05:02 2010 +0100

Added a workaround to a space efficiency bug affecting MIP_Problem. The baseline patch has been contributed by Marco Poletti.

MIP_Problem now stores the input constraints as a sequence of Constraint*. In this sequence, we distinguish between owned constraints (whose resources are under control of the current MIP_Problem object) and inherited constraints (whose resources are shared with, and owned by, another MIP_Problem object). When starting a branch-and-bound computation looking for an integral feasible/optimal solution, we now inherit (rather than copy) the input constraints.

The workaround greatly improves space/time efficiency on (mixed) integral problems, also providing a (simple and reasonable) partial solution to

https://www.cs.unipr.it/mantis/view.php?id=62

The solution is still partial: a complete solution requires the implementation of a backtracking mechanism for incrementally added constraints.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7c689f3a1f81... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Dec 19 10:53:04 2010 +0100

Obsolete comment removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b952f1fa47bca... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Dec 19 10:49:37 2010 +0100

No longer include BD_Shape<int8_t> among the instantiations enabled by default.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a25a1ecae28... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Dec 19 10:08:48 2010 +0100

Replaced $(cmd) with `cmd` in m4 autoconf files.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533d88da39b83... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Dec 11 18:27:07 2010 +0100

Avoid using identifier PS, since Solaris has a macro with that name.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5eb5954e1de39... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Oct 21 19:52:38 2010 +0200

Properly quote the assignment MAKE=$(MAKE). (Thanks to Volker Braun.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91b316106e1d4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Oct 19 09:10:47 2010 +0200

Updated list of bug fixes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c95fc0eab6a3... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Oct 19 08:15:12 2010 +0200

Improved precision of Octagonal_Shape::affine_image(). The method was rather imprecise on sign-symmetry affine transformations. Also noted that strong reduction is preserved in that case.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78ef497331ef0... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 17 08:17:46 2010 +0200

Dense_Row: remove the unused assign() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cf4362e714d7... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 16 17:18:04 2010 +0200

Sparse_Matrix: add some methods, to be fully compatible with Dense_Matrix.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51b8b9197551f... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 16 17:17:45 2010 +0200

Sparse_Row: add some methods, to be fully compatible with Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d535b8db1491... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Oct 16 17:13:35 2010 +0200

CO_Tree: add a max_size() static method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff5b0796773b3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 16 09:11:15 2010 +0200

Fixed a bug whereby the argument of all the methods unconstrain(Variable var) was not checked correctly for space dimension compatibility. (Thanks to Volker Braun.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97150b49891b3... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Oct 10 17:41:52 2010 +0200

Documented precondition of method Bit_Matrix::remove_trailing_columns().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3592af215e8a5... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Oct 10 16:34:30 2010 +0200

In method Bit_Matrix::OK(), do also check the first Bit_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27a720c897ec8... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 3 17:13:33 2010 +0200

Sparse_Row: optimize linear_combine(), avoiding the insertion of too many elements.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f743717517f... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Oct 3 09:24:55 2010 +0200

Dense_Matrix, Sparse_Matrix: remove useless typedefs for row_type.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58d7324061625... Author: Marco Poletti poletti.marco@gmail.com Date: Fri Oct 1 15:34:50 2010 +0200

CO_Tree: fix comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e80dc1425ebb... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Sep 27 10:51:10 2010 +0200

CO_Tree: rename the size field into size_, and add a size() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb542d4fe761... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Sep 27 10:50:20 2010 +0200

CO_Tree: avoid shadowing a field with a local variable, in external_memory_in_bytes().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6475eea32239d... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 26 14:51:09 2010 +0200

Dense_Row: mark the constructor from a Sparse_Row as explicit.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1088ad4fc32d... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 26 14:50:32 2010 +0200

Sparse_Row: add an assignment operator from a Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9707c1e408c1a... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 26 14:45:16 2010 +0200

Sparse_Row: copy flags too, in the constructor from a Dense_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b123a9d25288... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 26 14:44:35 2010 +0200

Dense_Row: add a constructor and an assignment operator that take a Sparse_Row.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3426ae69e61cd... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Sep 26 14:43:53 2010 +0200

CO_Tree: fix bug in the constructor from a sequence and remove its second argument, it is used in assertions only.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bb0a14d690bd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 24 19:48:27 2010 +0200

Added missing uses of AC_LANG_SOURCE.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a71f7eb628bfc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 24 19:47:18 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a2114d8a9333... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Sep 24 19:18:29 2010 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8484a4794afa... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Sep 20 20:20:16 2010 +0200

Bit_Matrix, Sparse_Matrix: rename the {rows,columns}_erase_to_end() methods into remove_trailing_{rows,columns}(), changing the argument's meaning.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c153292b94f5... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Sep 20 15:07:20 2010 +0200

Dense_Matrix, Sparse_Matrix: rename the erase_to_end() method into remove_trailing_rows(), changing the argument's meaning.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9bb908fe1ba4... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Sep 20 15:06:06 2010 +0200

Grid_Generator_System: remove unused erase_to_end() private method.