| Mon, 05 Nov 2012 11:40:51 +0100 | nipkow | tuned | changeset | files |
| Sun, 04 Nov 2012 18:41:27 +0100 | nipkow | code for while directly, not via while_option | changeset | files |
| Sun, 04 Nov 2012 18:38:18 +0100 | nipkow | executable true liveness analysis incl an approximating version | changeset | files |
| Sun, 04 Nov 2012 17:36:26 +0100 | nipkow | now that sets are executable again, no more special treatment of variable sets | changeset | files |
| Fri, 02 Nov 2012 16:16:48 +0100 | blanchet | handle non-unit clauses gracefully | changeset | files |
| Fri, 02 Nov 2012 16:16:48 +0100 | blanchet | several improvements to Isar proof reconstruction, by Steffen Smolka (step merging in case splits, time measurements, etc.) | changeset | files |