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 |