| Thu, 24 Mar 2011 23:35:49 +0100 |
krauss |
mira interface to 'isabelle make' in addition to usedir and makeall;
|
file |
diff |
annotate
|
| Thu, 24 Mar 2011 23:28:07 +0100 |
krauss |
clarified
|
file |
diff |
annotate
|
| Thu, 24 Mar 2011 23:14:49 +0100 |
krauss |
parameterize configurations by custom settings
|
file |
diff |
annotate
|
| Thu, 24 Mar 2011 22:12:38 +0100 |
krauss |
enable Z3 in the test configuration
|
file |
diff |
annotate
|
| Thu, 24 Mar 2011 16:39:37 +0100 |
krauss |
added more judgement day provers
|
file |
diff |
annotate
|
| Mon, 21 Mar 2011 21:10:29 +0100 |
krauss |
moved some configurations to AFP, and fixed others
|
file |
diff |
annotate
|
| Mon, 21 Mar 2011 16:24:52 +0100 |
krauss |
added judgement day configurations
|
file |
diff |
annotate
|
| Fri, 04 Mar 2011 11:52:54 +0100 |
krauss |
produce helpful mira summary for more errors
|
file |
diff |
annotate
|
| Tue, 18 Jan 2011 09:44:23 +0100 |
haftmann |
report mutabelle log in mira configuration
|
file |
diff |
annotate
|
| Fri, 14 Jan 2011 17:20:36 +0100 |
haftmann |
adjusted mira configuration
|
file |
diff |
annotate
|
| Fri, 14 Jan 2011 13:59:06 +0100 |
haftmann |
configuration file for mira
|
file |
diff |
annotate
|