log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/rpcify.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-16
tip
age
author
description
2013-04-16
Adam Chlipala
Basis.tryRpc
2012-03-12
Adam Chlipala
Handle recursive RPC handlers
2012-01-13
Adam Chlipala
-dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type
2009-12-31
Adam Chlipala
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
2009-10-25
Adam Chlipala
RPC uses VM support for call/cc
2009-09-17
Adam Chlipala
Grid changed to use Dlist.replace; filters stopped working
2009-09-17
Adam Chlipala
Don't try to check if functions are already tail-recursive
2009-09-17
Adam Chlipala
tail example working
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-05-02
Adam Chlipala
Successfully influenced effectful-ness status of FFI func
2009-04-16
Adam Chlipala
Label exported symbols by effect-ness; factor out some common datatypes
2009-04-05
Adam Chlipala
RoundTrip demo
2009-03-26
Adam Chlipala
Chat example working nicely, but without dead channel removal
2009-03-22
Adam Chlipala
Proper recv
2009-03-22
Adam Chlipala
First message send delivered, but not interpreted
less
more
|
(0)
-16
tip