log src/rpcify.sml

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