log src/core_util.sml

age author description
Sun, 05 Jul 2015 16:11:24 -0400 Adam Chlipala Add a missed case in CoreUtil.Exp fold
Fri, 03 Jul 2015 17:25:56 -0400 Adam Chlipala Fix a maddening bug in the comparator for Core constructors
Tue, 16 Apr 2013 10:55:48 -0400 Adam Chlipala Basis.tryRpc
Sat, 07 Jan 2012 15:56:22 -0500 Adam Chlipala First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
Tue, 07 Sep 2010 08:28:07 -0400 Adam Chlipala Server-side 'onError'
Sun, 04 Apr 2010 12:29:34 -0400 Adam Chlipala Pushing policies through
Tue, 16 Mar 2010 10:09:01 -0400 Adam Chlipala Undo an Especialize change that turned out to be unecessary
Tue, 15 Dec 2009 10:19:05 -0500 Adam Chlipala Convert to task syntax
Sun, 13 Dec 2009 14:20:41 -0500 Adam Chlipala Initializers and setval
Sun, 25 Oct 2009 14:07:10 -0400 Adam Chlipala RPC uses VM support for call/cc
Thu, 17 Sep 2009 16:35:11 -0400 Adam Chlipala Basic tail recursion introduction seems to be working
Sat, 22 Aug 2009 12:55:18 -0400 Adam Chlipala Convert to requiring explicit 'rpc' marker
Sat, 16 May 2009 15:45:12 -0400 Adam Chlipala Mutual datatypes through Effectize
Sat, 16 May 2009 12:41:33 -0400 Adam Chlipala Fix a Core_untangle bug that missed closure variable references; XHTMLize
Thu, 14 May 2009 09:11:58 -0400 Adam Chlipala Fix a nasty binding bug in CoreUtil
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Sun, 12 Apr 2009 12:31:54 -0400 Adam Chlipala Stop tracking CSS classes in XML types
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Tue, 07 Apr 2009 16:14:31 -0400 Adam Chlipala PRIMARY KEY
Tue, 07 Apr 2009 14:11:32 -0400 Adam Chlipala Track uniqueness sets in table types
Tue, 07 Apr 2009 12:24:31 -0400 Adam Chlipala UNIQUE constraints
Sun, 22 Feb 2009 17:17:01 -0500 Adam Chlipala demo/hello compiles with kind polymorphism
Sun, 22 Feb 2009 16:10:25 -0500 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
Sat, 21 Feb 2009 15:33:20 -0500 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
Sun, 15 Feb 2009 10:32:50 -0500 Adam Chlipala First gimpy RPC
Sat, 14 Feb 2009 14:07:56 -0500 Adam Chlipala Start of RPCification
Thu, 27 Nov 2008 12:43:28 -0500 Adam Chlipala Avoid Especializing polymorphic code
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Tue, 11 Nov 2008 15:12:24 -0500 Adam Chlipala Get preliminary ThreadedBlog working
Sun, 09 Nov 2008 16:54:42 -0500 Adam Chlipala Defunctionalization gets CommentBlog working