URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2941cea03d8a1... Merge: dc027679371676490ea74a3356c5c5aa6e9b735f 0fd2de73dd626465d1c77d925eb63e2adb639648 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 13 08:37:26 2011 +0100

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fd2de73dd626... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Jan 8 17:23:18 2011 +0100

Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c16cf1e891f1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jan 7 18:39:22 2011 +0100

Cyclic dependency avoided.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d3d269f79074... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Jan 6 11:44:48 2011 +0100

Fixed documentation copy-and-paste error.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27d130ce3196c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 6 10:42:46 2011 +0100

Replaced several occurrences of assert() by PPL_ASSERT().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a0f1627560db... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 6 09:31:27 2011 +0100

Added missing parameter documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87b7c0d322e1f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 6 08:57:57 2011 +0100

Do not build documentation for interfaces that are not enabled.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ba95253a8b9d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jan 5 17:02:18 2011 +0100

Added missing `use_module' directive.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86dc7a898cd5... Author: Marco Poletti poletti.marco@gmail.com Date: Thu Dec 30 14:44:10 2010 +0100

Dense_Row: simplify the exception safety implementation by using an implementation subobject.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a24129e95d80c... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 27 17:05:58 2010 +0100

Dense_Row: improve exception safety in constructors.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff7564a57ae55... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Dec 27 09:20:53 2010 +0100

Dense_Row: remove useless debugging code from the OK() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=242769b816b47... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Dec 26 22:57:26 2010 +0100

Dense_Row, Sparse_Row, Linear_Row: modify the flags' getter and setter methods, to follow strict aliasing rules.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c85e31fb4f456... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 25 10:50:44 2010 +0100

Dense_Row, Sparse_Row: remove the construct() methods and add a constructor from Flags. Update client code.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecffa9a026c3f... Author: Marco Poletti poletti.marco@gmail.com Date: Sat Dec 25 10:46:23 2010 +0100

Dense_Row: simplify the internal representation and implementation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5c712fb85775... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 24 12:02:23 2010 +0100

Avoid a couple of doxygen warnings.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae9231e876e2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Dec 24 11:59:17 2010 +0100

Memory leaks fixed. (Patch by Marco Poletti.)

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.