| Mon, 19 Sep 2011 16:18:30 +0200 |
bulwahn |
ensuring that some constants are generated in the source code by adding calls in ensure_testable
|
file |
diff |
annotate
|
| Mon, 18 Jul 2011 10:34:21 +0200 |
bulwahn |
adding narrowing instances for real and rational
|
file |
diff |
annotate
|
| Fri, 08 Jul 2011 14:37:19 +0200 |
wenzelm |
more abstract Thy_Load.load_file/use_file for external theory resources;
|
file |
diff |
annotate
|
| Mon, 27 Jun 2011 17:20:24 +0200 |
wenzelm |
hide rather short auxiliary names, which can easily occur in user theories;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2011 14:25:10 +0200 |
wenzelm |
removed very slow proof of unnamed/unused theorem from HOL/Quickcheck_Narrowing.thy (cf. 2dee03f192b7) -- can take seconds for main HOL and minutes for HOL-Proofs;
|
file |
diff |
annotate
|
| Tue, 14 Jun 2011 08:30:18 +0200 |
bulwahn |
removed comment and declaration after issue has been resolved (cf. e83695ea0e0a)
|
file |
diff |
annotate
|
| Fri, 10 Jun 2011 15:42:21 +0200 |
bulwahn |
adding another narrowing strategy for integers
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 14:04:38 +0200 |
hoelzl |
fixed document generation for HOL
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 09:07:13 +0200 |
bulwahn |
fixing code generation test
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 08:32:22 +0200 |
bulwahn |
removing char setup
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 08:32:21 +0200 |
bulwahn |
removing unneccessary manual instantiations and dead definitions; hiding more constants and facts
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 08:32:19 +0200 |
bulwahn |
adding a nicer error message for quickcheck_narrowing; hiding fact empty_def
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 08:32:18 +0200 |
bulwahn |
adapting Quickcheck_Narrowing: adding setup for characters; correcting import statement
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 08:32:14 +0200 |
bulwahn |
moving Quickcheck_Narrowing from Library to base directory
|
file |
diff |
annotate
| base
|