blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49244
better tautology elimination
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49243
generate lambdas and skolems again
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49242
tuning
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49241
generate deep terms as feature
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49240
generate theory name as a feature
bulwahn [Tue, 10 Jul 2012 18:41:34 +0200] rev 49239
adding an example using Quickcheck to find a valid trace for the needham-schroeder protocol (a case study for Quickcheck)
bulwahn [Tue, 10 Jul 2012 13:45:08 +0200] rev 49238
merged
bulwahn [Mon, 09 Jul 2012 10:04:07 +0200] rev 49237
adding the hotel key card example in Quickcheck-Examples
bulwahn [Mon, 09 Jul 2012 09:47:59 +0200] rev 49236
adding a missing entry to predicate compiler's setup
blanchet [Mon, 09 Jul 2012 23:58:05 +0200] rev 49235
compile