| Mon, 03 Feb 2014 08:23:20 +0100 | haftmann | tuned | changeset | files |
| Mon, 03 Feb 2014 08:23:19 +0100 | haftmann | tuned storage of code identifiers | changeset | files |
| Mon, 03 Feb 2014 17:55:50 +0100 | blanchet | searchable underscores | changeset | files |
| Mon, 03 Feb 2014 17:18:38 +0100 | blanchet | added new option to documentation | changeset | files |
| Mon, 03 Feb 2014 17:13:31 +0100 | blanchet | added 'smt' option to control generation of 'by smt' proofs | changeset | files |
| Mon, 03 Feb 2014 16:53:58 +0100 | blanchet | renamed ML file | changeset | files |
| Mon, 03 Feb 2014 15:33:18 +0100 | blanchet | tuning | changeset | files |
| Mon, 03 Feb 2014 15:19:07 +0100 | blanchet | merged 'reconstructors' and 'proof methods' | changeset | files |
| Mon, 03 Feb 2014 14:35:19 +0100 | blanchet | added 'smt' as a proof method | changeset | files |
| Mon, 03 Feb 2014 14:30:16 +0100 | blanchet | when merging, don't try methods that failed or timed out for either of the steps for the combined step | changeset | files |
| Mon, 03 Feb 2014 13:37:23 +0100 | blanchet | tuning | changeset | files |
| Mon, 03 Feb 2014 13:35:50 +0100 | blanchet | refactor relabeling code | changeset | files |
| Mon, 03 Feb 2014 11:58:38 +0100 | blanchet | tuned data structure | changeset | files |
| Mon, 03 Feb 2014 11:37:48 +0100 | blanchet | tuned data structure | changeset | files |