src/Pure/codegen.ML
Mon, 22 Sep 2003 16:16:03 +0200 berghofe add_attribute now takes parser as argument.
Thu, 07 Aug 2003 17:46:50 +0200 berghofe test_term now renames variable for size of test data to avoid clashes
Mon, 28 Jul 2003 11:16:38 +0200 berghofe test_term now handles Match exception raised in generated code.
Mon, 14 Jul 2003 14:44:06 +0200 kleing use Library.Some/None instead of just Some/None in generated quickcheck code
Fri, 11 Jul 2003 14:59:11 +0200 berghofe Added functions for random testing.
Sat, 29 Mar 2003 12:28:53 +0100 berghofe Margin for pretty-printing is now a mutable reference.
Mon, 16 Dec 2002 11:17:16 +0100 berghofe - Added mode reference variable (may be used to switch on and off specific
Wed, 27 Nov 2002 17:22:18 +0100 berghofe Parameters in definitions are now renamed to avoid clashes with
Thu, 28 Mar 2002 16:28:12 +0100 berghofe mk_const_id now checks for clashes with reserved ML identifiers.
Fri, 01 Mar 2002 22:32:38 +0100 wenzelm clarified outer syntax;
Mon, 21 Jan 2002 14:47:47 +0100 berghofe Tuned name mangling function.
Fri, 21 Dec 2001 17:31:08 +0100 berghofe Code generator now adds type constraints to val declarations (to make
Thu, 20 Dec 2001 14:57:15 +0100 berghofe "code" attribute is now managed by basic code generator module.
Thu, 13 Dec 2001 17:44:56 +0100 wenzelm made SML/XL happy;
Mon, 10 Dec 2001 15:39:34 +0100 berghofe - Added code generator interface for types
Wed, 28 Nov 2001 00:46:26 +0100 wenzelm theory data: removed obsolete finish method;
Fri, 09 Nov 2001 00:19:20 +0100 wenzelm theory data: finish method;
Sat, 01 Sep 2001 00:20:44 +0200 wenzelm tuned;
Fri, 31 Aug 2001 18:46:48 +0200 wenzelm tuned headers;
Fri, 31 Aug 2001 16:14:34 +0200 berghofe Initial version of generic code generator.
less more (0) tip