| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Tue, 26 Oct 2004 16:26:53 +0200 |
berghofe |
Added call to Codegen.preprocess.
|
file |
diff |
annotate
|
| Thu, 23 Sep 2004 10:20:52 +0200 |
berghofe |
- Inserted additional check for equality types in check_mode_clause that
|
file |
diff |
annotate
|
| Tue, 10 Aug 2004 19:10:39 +0200 |
berghofe |
Fixed bug in compile_clause that caused equality constraints
|
file |
diff |
annotate
|
| Mon, 19 Jul 2004 18:14:22 +0200 |
berghofe |
Added simple check that allows code generator to produce code containing
|
file |
diff |
annotate
|
| Fri, 09 Jul 2004 16:33:20 +0200 |
berghofe |
- Added support for conditional equations whose premises involve
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Tue, 01 Jun 2004 14:59:54 +0200 |
berghofe |
Adapted to new name mangling function.
|
file |
diff |
annotate
|
| Wed, 14 Apr 2004 11:44:57 +0200 |
berghofe |
Fixed bug in check_mode_clause.
|
file |
diff |
annotate
|
| Wed, 29 Oct 2003 19:18:15 +0100 |
berghofe |
Inserted additional checks in functions dest_prem and add_prod_factors, to
|
file |
diff |
annotate
|
| Mon, 22 Sep 2003 16:06:05 +0200 |
berghofe |
Changed interface of add_attribute.
|
file |
diff |
annotate
|
| Fri, 22 Aug 2003 11:51:42 +0200 |
berghofe |
Improved handling of modes for equality predicate, to avoid ill-typed
|
file |
diff |
annotate
|
| Thu, 21 Aug 2003 16:20:45 +0200 |
berghofe |
Fixed problem with "code ind" attribute that caused code generator to
|
file |
diff |
annotate
|
| Tue, 07 May 2002 14:26:32 +0200 |
wenzelm |
use eq_thm_prop instead of slightly inadequate eq_thm;
|
file |
diff |
annotate
|
| Thu, 07 Mar 2002 12:03:43 +0100 |
berghofe |
- made modes_of more robust
|
file |
diff |
annotate
|
| Thu, 20 Dec 2001 17:08:55 +0100 |
berghofe |
Eliminated "query" syntax.
|
file |
diff |
annotate
|
| Thu, 20 Dec 2001 15:23:42 +0100 |
berghofe |
Fixed bug in function add.
|
file |
diff |
annotate
|
| Thu, 20 Dec 2001 14:58:18 +0100 |
berghofe |
Implemented higher order modes.
|
file |
diff |
annotate
|
| Mon, 10 Dec 2001 15:40:55 +0100 |
berghofe |
- Changed type of invoke_codegen
|
file |
diff |
annotate
|
| Fri, 31 Aug 2001 18:46:48 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Fri, 31 Aug 2001 16:49:06 +0200 |
berghofe |
New code generators for HOL.
|
file |
diff |
annotate
|