Fri, 15 Feb 2013 08:31:31 +0100 |
haftmann |
two target language numeral types: integer and natural, as replacement for code_numeral;
|
file |
diff |
annotate
|
Fri, 28 Dec 2012 10:15:39 +0100 |
haftmann |
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
|
file |
diff |
annotate
|
Sun, 25 Mar 2012 20:15:39 +0200 |
huffman |
merged fork with new numeral representation (see NEWS)
|
file |
diff |
annotate
|
Thu, 09 Jun 2011 09:07:13 +0200 |
bulwahn |
fixing code generation test
|
file |
diff |
annotate
|
Wed, 18 May 2011 15:45:33 +0200 |
bulwahn |
adding Code_Char_ord to code generation regression tests
|
file |
diff |
annotate
|
Fri, 26 Nov 2010 12:03:18 +0100 |
haftmann |
globbing constant expressions use more idiomatic underscore rather than star
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 16:02:50 +0200 |
haftmann |
explicit optional checking
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 15:49:29 +0200 |
haftmann |
added Isar syntax for code checking
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 14:20:47 +0200 |
haftmann |
check without explicit path
|
file |
diff |
annotate
|
Thu, 08 Jul 2010 16:19:24 +0200 |
haftmann |
checking generated code for various target languages
|
file |
diff |
annotate
|
Fri, 02 Jul 2010 14:23:18 +0200 |
haftmann |
introduced distinct session HOL-Codegenerator_Test
|
file |
diff |
annotate
| base
|