diff options
| author |  jansmans <unknown> | 2009-10-07 12:58:55 +0000 |
|---|---|---|
| committer | jansmans <unknown> | 2009-10-07 12:58:55 +0000 |
| commit | 11ea282f2404169e93c8c9de58ed684b2903910a (patch) | |
| tree | b302a0df10663fd1c9b5866b213f43adb7e036fb /Binaries | |
| parent | f0df4f110687974508a4c96e4ebb58a9cd7270c8 (diff) | |
- verified a program inpsired by "Copyless Message Passing" in Chalice
(todo: we should really support sending debit over channel to allow sending with acknowledgements)
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions