| Sat, 21 Jul 2012 10:55:42 +0200 |
bulwahn |
restricting Quickcheck_Examples' root file to one basic theory to see if the system error on isatest still occurs
|
file |
diff |
annotate
|
| Thu, 19 Jul 2012 12:01:05 +0200 |
bulwahn |
deactivating quickcheck narrowing examples to find out if this causes the system error on the current isatest
|
file |
diff |
annotate
|
| 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
|