Thu, 18 Nov 2010 12:37:30 +0100 | haftmann | merged | changeset | files |
Thu, 18 Nov 2010 10:59:42 +0100 | haftmann | keep variables bound | changeset | files |
Thu, 18 Nov 2010 10:52:38 +0100 | blanchet | remove "Time limit reached" as potential error, because this is sometimes generated for individual slices and not for the entire problem | changeset | files |
Wed, 17 Nov 2010 23:20:26 +0100 | haftmann | merged | changeset | files |
Wed, 17 Nov 2010 17:27:25 +0100 | haftmann | infer variances of user-given mapper operation; proper thm storing | changeset | files |
Wed, 17 Nov 2010 21:35:23 +0100 | nipkow | code eqn for slice was missing; redefined splice with fun | changeset | files |