aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/rpcify.sml
Commit message (Collapse)AuthorAge
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
|
* Handle recursive RPC handlersGravatar Adam Chlipala2012-03-11
|
* -dumpSource flag; Especialize tweak: may specialize any argument sequence ↵Gravatar Adam Chlipala2012-01-12
| | | | ending in a value of function-containing type
* Basis.serialize; separate file for mhash; run transactional finishers in ↵Gravatar Adam Chlipala2009-12-31
| | | | reverse order; set needs_sig properly
* RPC uses VM support for call/ccGravatar Adam Chlipala2009-10-25
|
* Grid changed to use Dlist.replace; filters stopped workingGravatar Adam Chlipala2009-09-17
|
* Don't try to check if functions are already tail-recursiveGravatar Adam Chlipala2009-09-17
|
* tail example workingGravatar Adam Chlipala2009-09-17
|
* Basic tail recursion introduction seems to be workingGravatar Adam Chlipala2009-09-17
|
* Convert to requiring explicit 'rpc' markerGravatar Adam Chlipala2009-08-22
|
* Successfully influenced effectful-ness status of FFI funcGravatar Adam Chlipala2009-05-02
|
* Label exported symbols by effect-ness; factor out some common datatypesGravatar Adam Chlipala2009-04-16
|
* RoundTrip demoGravatar Adam Chlipala2009-04-05
|
* Chat example working nicely, but without dead channel removalGravatar Adam Chlipala2009-03-26
|
* Proper recvGravatar Adam Chlipala2009-03-22
|
* First message send delivered, but not interpretedGravatar Adam Chlipala2009-03-22
|
* Noisy demoGravatar Adam Chlipala2009-03-10
|
* BatchG demoGravatar Adam Chlipala2009-03-10
|
* Batch exampleGravatar Adam Chlipala2009-03-10
|
* Conversion of functions to CPS, to facilitate ServerCallGravatar Adam Chlipala2009-03-08
|
* Initial parsing of RPC resultsGravatar Adam Chlipala2009-02-15
|
* First gimpy RPCGravatar Adam Chlipala2009-02-15
|
* Export RPC functions and push RPC calls through to MonoGravatar Adam Chlipala2009-02-15
|
* Start of RPCificationGravatar Adam Chlipala2009-02-14