log src/core.sml

age author description
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
Thu, 31 Dec 2009 11:41:57 -0500 Adam Chlipala Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
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
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Thu, 16 Apr 2009 14:49:25 -0400 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
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
Sun, 15 Feb 2009 09:27:36 -0500 Adam Chlipala Export RPC functions and push RPC calls through to Mono
Sat, 14 Feb 2009 14:07:56 -0500 Adam Chlipala Start of RPCification
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Thu, 06 Nov 2008 10:48:02 -0500 Adam Chlipala Cookies through shake2
Sat, 01 Nov 2008 16:46:16 -0400 Adam Chlipala Wrapping works in Blog
Fri, 31 Oct 2008 09:30:22 -0400 Adam Chlipala Replace 'with' with '++'
Sun, 14 Sep 2008 15:10:04 -0400 Adam Chlipala Crud supports INSERT
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences
Tue, 02 Sep 2008 10:51:41 -0400 Adam Chlipala 'database' declaration threaded through compiler
Sun, 31 Aug 2008 09:00:28 -0400 Adam Chlipala Corify tables
Sat, 16 Aug 2008 15:03:05 -0400 Adam Chlipala Corifying con-tuples
Fri, 08 Aug 2008 10:59:06 -0400 Adam Chlipala Parametrized datatypes through corify
Sun, 03 Aug 2008 19:49:21 -0400 Adam Chlipala Datatype representation optimization
Sun, 03 Aug 2008 18:53:20 -0400 Adam Chlipala bool in Basis
Sun, 03 Aug 2008 17:57:47 -0400 Adam Chlipala FFI datatypes
Sun, 03 Aug 2008 12:43:20 -0400 Adam Chlipala Compiled pattern matching to C
Sat, 02 Aug 2008 11:15:32 -0400 Adam Chlipala Case through corify
Tue, 29 Jul 2008 13:16:21 -0400 Adam Chlipala Datatypes through corify
Thu, 24 Jul 2008 10:09:21 -0400 Adam Chlipala Record cut
Tue, 22 Jul 2008 15:12:20 -0400 Adam Chlipala Simple forms work
Thu, 17 Jul 2008 10:23:04 -0400 Adam Chlipala Corifying (non-mutual) 'val rec'
Sun, 13 Jul 2008 11:43:57 -0400 Adam Chlipala Starting with closure links
Sun, 13 Jul 2008 10:17:06 -0400 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
Thu, 10 Jul 2008 14:02:54 -0400 Adam Chlipala Writing HTML
Thu, 10 Jul 2008 10:11:35 -0400 Adam Chlipala page declaration, up through monoize
Tue, 01 Jul 2008 13:23:46 -0400 Adam Chlipala Push KUnit and CUnit through the phases
Thu, 26 Jun 2008 11:32:29 -0400 Adam Chlipala Corify efold
Thu, 26 Jun 2008 09:53:52 -0400 Adam Chlipala Corify cfold
Sun, 22 Jun 2008 09:27:29 -0400 Adam Chlipala Start of FFI
Tue, 10 Jun 2008 18:28:43 -0400 Adam Chlipala Translation to Cjr
Tue, 10 Jun 2008 15:56:33 -0400 Adam Chlipala Closure conversion
Sun, 08 Jun 2008 13:59:29 -0400 Adam Chlipala Conversion to Core