| Tue, 05 Oct 2010 18:09:29 +0200 | krauss | force less agressively | changeset | files |
| Tue, 05 Oct 2010 16:33:16 +0200 | krauss | lexicographic_order: replace parallel map with laziness to avoid wasting cycles on proofs that are not needed | changeset | files |
| Tue, 05 Oct 2010 14:19:43 +0200 | krauss | removed complicated (and rarely helpful) error reporting | changeset | files |
| Tue, 05 Oct 2010 14:19:40 +0200 | krauss | discontinued continuations to simplify control flow; dropped optimization in scnp | changeset | files |
| Tue, 05 Oct 2010 14:19:38 +0200 | krauss | use Cache structure instead of passing tables around explicitly | changeset | files |
| Tue, 05 Oct 2010 11:45:16 +0200 | haftmann | merged | changeset | files |