| Wed, 11 Jul 2012 13:59:39 +0200 | bulwahn | merged | changeset | files |
| Wed, 11 Jul 2012 13:54:37 +0200 | bulwahn | adding three variants of the Needham-Schroeder formalisation as case studies for Quickcheck | changeset | files |
| Wed, 11 Jul 2012 11:28:27 +0200 | blanchet | comment | changeset | files |
| Wed, 11 Jul 2012 11:28:10 +0200 | blanchet | nicer output | changeset | files |
| Wed, 11 Jul 2012 09:32:29 +0200 | blanchet | rationalized output | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | generate Meng--Paulson facts for evaluation purposes | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | tuning | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | export useful functions | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | instantiate induction rules | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | MaSh evaluation driver | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | moved MaSh into own files | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | distinguish updates and queries + cleanups | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | don't ask E to generate a detailed proofs if not needed | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | tuning | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | gracefully compute cardinality of sets (to avoid type protectors) | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | better tautology elimination | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | generate lambdas and skolems again | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | tuning | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | generate deep terms as feature | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | generate theory name as a feature | changeset | files |
| Tue, 10 Jul 2012 18:41:34 +0200 | bulwahn | adding an example using Quickcheck to find a valid trace for the needham-schroeder protocol (a case study for Quickcheck) | changeset | files |
| Tue, 10 Jul 2012 13:45:08 +0200 | bulwahn | merged | changeset | files |
| Mon, 09 Jul 2012 10:04:07 +0200 | bulwahn | adding the hotel key card example in Quickcheck-Examples | changeset | files |
| Mon, 09 Jul 2012 09:47:59 +0200 | bulwahn | adding a missing entry to predicate compiler's setup | changeset | files |
| Mon, 09 Jul 2012 23:58:05 +0200 | blanchet | compile | changeset | files |
| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | tuning | changeset | files |
| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | cleanup | changeset | files |
| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | more precise dependencies -- eliminate tautologies | changeset | files |
| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | generate problem file | changeset | files |
| Mon, 09 Jul 2012 23:23:12 +0200 | blanchet | improve feature list generation | changeset | files |