| Wed, 11 Dec 2013 18:02:22 +0100 | wenzelm | support for polml-5.5.2; | changeset | files |
| Wed, 11 Dec 2013 22:53:32 +0800 | blanchet | reverse order in which lines are selected, to ensure that the number of dependencies is accurate | changeset | files |
| Wed, 11 Dec 2013 22:23:42 +0800 | blanchet | truncate proof once False is hit to avoid confusing the rest of the code (no idea why Z3 goes on) | changeset | files |