log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/reduce.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-50
-30
tip
age
author
description
2014-02-15
Adam Chlipala
Use neverInline in reduce
2013-08-10
Adam Chlipala
Expand coverage of 'functionInside' for Especialize
2013-04-16
Adam Chlipala
Basis.tryRpc
2012-09-19
Adam Chlipala
Paranoid inlining prevention for FFI types at the Core level; less paranoid inlining promotion for passive values at the Mono level
2012-08-05
Adam Chlipala
Tweaking treatment of function application: substitute or introduce a 'let'?
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
less
more
|
(0)
-50
-30
tip