2012-08-05 |
Adam Chlipala |
Revert last changeset for now; needs more thought |
2012-08-05 |
Adam Chlipala |
Tweaking treatment of function application: substitute or introduce a 'let'? |
2012-01-07 |
Adam Chlipala |
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) |
2011-08-19 |
Adam Chlipala |
Basis.mkMonad |
2011-08-14 |
Adam Chlipala |
Remove some unnecessary parens |
2011-08-12 |
Karn Kallio |
Distribute applications of "arrow type" ECase across branches. |
2010-10-19 |
Adam Chlipala |
Fixes for nasty bugs in Reduce and Especialize |
2010-09-07 |
Adam Chlipala |
Server-side 'onError' |
2010-08-22 |
Adam Chlipala |
Reduce: Inline let-bound variables whose types involve functions |
2010-06-03 |
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 |
2010-04-15 |
Adam Chlipala |
'also' policies and policy reduction; calendar in good shape |
2010-04-04 |
Adam Chlipala |
Pushing policies through |
2010-03-07 |
Adam Chlipala |
Got split1 working, but noticed a nasty type inference bug with transplanted unification variables |
2010-03-04 |
Adam Chlipala |
Dead code elimination in Reduce code |
2010-03-02 |
Adam Chlipala |
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize |
2010-01-10 |
Adam Chlipala |
Reduce concatenations of the empty record; unpoly non-recursive functions |
2009-12-15 |
Adam Chlipala |
Convert to task syntax |
2009-12-13 |
Adam Chlipala |
Initializers and setval |
2009-10-25 |
Adam Chlipala |
RPC uses VM support for call/cc |
2009-10-25 |
Adam Chlipala |
Always inline records |
2009-10-25 |
Adam Chlipala |
Inlining threshold for Reduce |
2009-09-17 |
Adam Chlipala |
tail example working |
2009-09-17 |
Adam Chlipala |
Basic tail recursion introduction seems to be working |
2009-09-15 |
Adam Chlipala |
Escape character constants; lift indices properly in Reduce 'case' simplification |
2009-09-13 |
Adam Chlipala |
Have nullable columns working with Dbgrid |
2009-09-12 |
Adam Chlipala |
Nullable columns *might* be working, but too much JS is generated for the page to load in finite time |
2009-08-25 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
2009-08-22 |
Adam Chlipala |
Fixed bug in reduce bind-commutation |
2009-08-22 |
Adam Chlipala |
Convert to requiring explicit 'rpc' marker |
2009-05-28 |
Adam Chlipala |
Demo compiles with pattern-matching-fu |
2009-05-16 |
Adam Chlipala |
Mutual datatypes through Effectize |
2009-04-28 |
Adam Chlipala |
A view query works |
2009-04-12 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
2009-04-12 |
Adam Chlipala |
style declarations |
2009-04-07 |
Adam Chlipala |
PRIMARY KEY |
2009-04-07 |
Adam Chlipala |
Track uniqueness sets in table types |
2009-04-07 |
Adam Chlipala |
UNIQUE constraints |
2009-02-22 |
Adam Chlipala |
demo/hello compiles with kind polymorphism |
2009-02-22 |
Adam Chlipala |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
2009-02-21 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
2009-02-15 |
Adam Chlipala |
First gimpy RPC |
2009-02-14 |
Adam Chlipala |
Start of RPCification |
2008-11-26 |
Adam Chlipala |
crud1 compiles with new Reduce |
2008-11-26 |
Adam Chlipala |
Fix environments for repeat visits for exp reduction |
2008-11-26 |
Adam Chlipala |
Most exp rules for new Reduce |
2008-11-26 |
Adam Chlipala |
Start of new Reduce |
2008-11-12 |
Adam Chlipala |
Add CutMulti |
2008-10-31 |
Adam Chlipala |
Replace 'with' with '++' |
2008-10-30 |
Adam Chlipala |
Especialize |
2008-10-23 |
Adam Chlipala |
Fix nasty de Bruijn substitution bug; TcSum demo |
2008-09-14 |
Adam Chlipala |
Crud supports INSERT |
2008-09-13 |
Adam Chlipala |
Remove unneeded 'rec' in Reduce |
2008-09-11 |
Adam Chlipala |
Unpoly non-recursive function |
2008-08-16 |
Adam Chlipala |
Compiling a con-tuple-using test case |
2008-08-08 |
Adam Chlipala |
Specialization of single-parameter datatypes |
2008-07-24 |
Adam Chlipala |
Record cut |
2008-07-17 |
Adam Chlipala |
MonoReduce |
2008-07-13 |
Adam Chlipala |
Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
2008-06-26 |
Adam Chlipala |
Reduce efold |
2008-06-26 |
Adam Chlipala |
Cjrize cfold |
2008-06-22 |
Adam Chlipala |
Separate compilation and automatic basis importation |
2008-06-10 |
Adam Chlipala |
Translation to Cjr |
2008-06-10 |
Adam Chlipala |
Closure conversion |
2008-06-08 |
Adam Chlipala |
Reducing known record projections |
2008-06-08 |
Adam Chlipala |
Beta reductions for expressions |
2008-06-08 |
Adam Chlipala |
Some con reducing |