log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/reduce_local.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
2010-09-07
Adam Chlipala
Server-side 'onError'
2010-08-22
Adam Chlipala
Reduce: Inline let-bound variables whose types involve functions
2010-06-13
Adam Chlipala
Catch a missed ReduceLocal of field projection annotations
2010-06-05
Adam Chlipala
Another run of Specialize, using ReduceLocal on datatype parameters
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-04
Adam Chlipala
Pushing policies through
2009-12-15
Adam Chlipala
Convert to task syntax
2009-12-13
Adam Chlipala
Initializers and setval
2009-12-08
Adam Chlipala
Shake bug fix; pattern reduction in ReduceLocal
2009-10-25
Adam Chlipala
RPC uses VM support for call/cc
2009-09-17
Adam Chlipala
Basic tail recursion introduction seems to be working
2009-08-22
Adam Chlipala
Convert to requiring explicit 'rpc' marker
2009-04-28
Adam Chlipala
A view query works
2009-04-12
Adam Chlipala
Classes as optional arguments to Basis.tag
2009-04-12
Adam Chlipala
style declarations
2009-03-09
Adam Chlipala
Conversion of functions to CPS, to facilitate ServerCall
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-15
Adam Chlipala
First gimpy RPC
2009-02-14
Adam Chlipala
Start of RPCification
2008-11-26
Adam Chlipala
Port Reduce improvements to ReduceLocal
2008-11-09
Adam Chlipala
Especialize working reasonably well; need to add new closure representation pass
less
more
|
(0)
tip