log src/reduce.sml

age author description
Wed, 25 Nov 2015 18:48:17 -0500 Adam Chlipala Reduce: add reduction in some spots previously missed, associated with 'case' return types
Sat, 15 Feb 2014 10:06:18 -0500 Adam Chlipala Use neverInline in reduce
Sat, 10 Aug 2013 10:13:40 -0400 Adam Chlipala Expand coverage of 'functionInside' for Especialize
Tue, 16 Apr 2013 10:55:48 -0400 Adam Chlipala Basis.tryRpc
Wed, 19 Sep 2012 18:01:22 -0400 Adam Chlipala Paranoid inlining prevention for FFI types at the Core level; less paranoid inlining promotion for passive values at the Mono level
Sun, 05 Aug 2012 14:55:28 -0400 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
Sun, 05 Aug 2012 17:11:39 -0400 Adam Chlipala Revert last changeset for now; needs more thought
Sun, 05 Aug 2012 14:55:28 -0400 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
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)
Fri, 19 Aug 2011 15:23:01 -0400 Adam Chlipala Basis.mkMonad
Sun, 14 Aug 2011 09:29:04 -0400 Adam Chlipala Remove some unnecessary parens
Fri, 12 Aug 2011 00:55:57 -0430 Karn Kallio Distribute applications of "arrow type" ECase across branches.
Tue, 19 Oct 2010 17:54:49 -0400 Adam Chlipala Fixes for nasty bugs in Reduce and Especialize
Tue, 07 Sep 2010 08:28:07 -0400 Adam Chlipala Server-side 'onError'
Sun, 22 Aug 2010 13:43:46 -0400 Adam Chlipala Reduce: Inline let-bound variables whose types involve functions
Thu, 03 Jun 2010 13:04:37 -0400 Adam Chlipala Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
Thu, 15 Apr 2010 10:00:30 -0400 Adam Chlipala 'also' policies and policy reduction; calendar in good shape
Sun, 04 Apr 2010 12:29:34 -0400 Adam Chlipala Pushing policies through
Sat, 06 Mar 2010 19:14:48 -0500 Adam Chlipala Got split1 working, but noticed a nasty type inference bug with transplanted unification variables
Thu, 04 Mar 2010 16:59:13 -0500 Adam Chlipala Dead code elimination in Reduce code
Tue, 02 Mar 2010 16:00:48 -0500 Adam Chlipala Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
Sun, 10 Jan 2010 13:44:22 -0500 Adam Chlipala Reduce concatenations of the empty record; unpoly non-recursive functions
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
Sun, 25 Oct 2009 13:12:24 -0400 Adam Chlipala Always inline records
Sun, 25 Oct 2009 12:08:21 -0400 Adam Chlipala Inlining threshold for Reduce
Thu, 17 Sep 2009 17:11:23 -0400 Adam Chlipala tail example working
Thu, 17 Sep 2009 16:35:11 -0400 Adam Chlipala Basic tail recursion introduction seems to be working
Tue, 15 Sep 2009 12:41:54 -0400 Adam Chlipala Escape character constants; lift indices properly in Reduce 'case' simplification
Sun, 13 Sep 2009 12:00:34 -0400 Adam Chlipala Have nullable columns working with Dbgrid
Sat, 12 Sep 2009 15:08:16 -0400 Adam Chlipala Nullable columns *might* be working, but too much JS is generated for the page to load in finite time
Tue, 25 Aug 2009 13:57:56 -0400 Adam Chlipala grid1 compiles but gets stuck in JS
Sat, 22 Aug 2009 16:32:31 -0400 Adam Chlipala Fixed bug in reduce bind-commutation
Sat, 22 Aug 2009 12:55:18 -0400 Adam Chlipala Convert to requiring explicit 'rpc' marker
Thu, 28 May 2009 10:35:25 -0400 Adam Chlipala Demo compiles with pattern-matching-fu
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
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
Wed, 26 Nov 2008 15:03:45 -0500 Adam Chlipala crud1 compiles with new Reduce
Wed, 26 Nov 2008 14:51:52 -0500 Adam Chlipala Fix environments for repeat visits for exp reduction
Wed, 26 Nov 2008 12:59:32 -0500 Adam Chlipala Most exp rules for new Reduce
Wed, 26 Nov 2008 12:13:00 -0500 Adam Chlipala Start of new Reduce
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Fri, 31 Oct 2008 09:30:22 -0400 Adam Chlipala Replace 'with' with '++'
Thu, 30 Oct 2008 16:58:54 -0400 Adam Chlipala Especialize
Thu, 23 Oct 2008 12:58:35 -0400 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo
Sun, 14 Sep 2008 15:10:04 -0400 Adam Chlipala Crud supports INSERT
Sat, 13 Sep 2008 10:33:30 -0400 Adam Chlipala Remove unneeded 'rec' in Reduce
Thu, 11 Sep 2008 09:36:47 -0400 Adam Chlipala Unpoly non-recursive function
Sat, 16 Aug 2008 15:09:53 -0400 Adam Chlipala Compiling a con-tuple-using test case
Fri, 08 Aug 2008 17:55:51 -0400 Adam Chlipala Specialization of single-parameter datatypes
Thu, 24 Jul 2008 10:09:21 -0400 Adam Chlipala Record cut
Thu, 17 Jul 2008 12:59:52 -0400 Adam Chlipala MonoReduce
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, 26 Jun 2008 12:12:06 -0400 Adam Chlipala Reduce efold
Thu, 26 Jun 2008 10:02:34 -0400 Adam Chlipala Cjrize cfold
Sun, 22 Jun 2008 14:23:05 -0400 Adam Chlipala Separate compilation and automatic basis importation
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 16:08:31 -0400 Adam Chlipala Reducing known record projections
Sun, 08 Jun 2008 16:02:26 -0400 Adam Chlipala Beta reductions for expressions
Sun, 08 Jun 2008 15:47:44 -0400 Adam Chlipala Some con reducing