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.