Merge branch feature-shape-update into master
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 14 Feb 2014 15:35:25 +0000 (16:35 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 14 Feb 2014 15:35:25 +0000 (16:35 +0100)
The branch enables shape updates in variety of flavours:
 * explicitly passing the desired target shape
 * providing a plugin sput : ℕ → ℕ → Maybe ℕ
 * providing a right-inverse to getlen
It also provides a backwards compatibility function to facilitate
shape-retaining updates.


Trivial merge