Mon, 16 Jul 2012 08:44:29 +0200 |
bulwahn |
deactivate Find_Unused_Assms_Examples to see if isabelle test's failures is caused by this example file
|
file |
diff |
annotate
|
Wed, 11 Jul 2012 13:54:37 +0200 |
bulwahn |
adding three variants of the Needham-Schroeder formalisation as case studies for Quickcheck
|
file |
diff |
annotate
|
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)
|
file |
diff |
annotate
|
Mon, 09 Jul 2012 10:04:07 +0200 |
bulwahn |
adding the hotel key card example in Quickcheck-Examples
|
file |
diff |
annotate
|
Mon, 02 Jul 2012 12:23:30 +0200 |
bulwahn |
adding some minimal documentation and an example of quickcheck's interfaces
|
file |
diff |
annotate
|
Fri, 30 Mar 2012 08:44:01 +0200 |
bulwahn |
adding theory to prove completeness of the exhaustive generators
|
file |
diff |
annotate
|
Mon, 27 Feb 2012 12:12:28 +0100 |
wenzelm |
reactivated Find_Unused_Assms_Examples to avoid untested / dead stuff in the repository;
|
file |
diff |
annotate
|
Mon, 27 Feb 2012 10:56:36 +0100 |
bulwahn |
removing Find_Unused_Assms_Examples from session as it requires much time
|
file |
diff |
annotate
|
Wed, 22 Feb 2012 18:08:27 +0100 |
bulwahn |
NEWS
|
file |
diff |
annotate
|
Wed, 22 Feb 2012 17:25:35 +0100 |
bulwahn |
adding some examples with find_unused_assms command
|
file |
diff |
annotate
|
Wed, 22 Feb 2012 08:01:41 +0100 |
bulwahn |
moving Quickcheck's example to its own session
|
file |
diff |
annotate
|