2010-11-18 | blanchet | remove "Time limit reached" as potential error, because this is sometimes generated for individual slices and not for the entire problem | changeset | files |
2010-11-17 | haftmann | merged | changeset | files |
2010-11-17 | haftmann | infer variances of user-given mapper operation; proper thm storing | changeset | files |
Loading... |