| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Lots of design changes around proxies and message passing. Made it so that do... | Michael Bebenita | 2010-09-07 | 1 | -3/+3 |
| * | Fixed deadlock by removing channel flushing. | Michael Bebenita | 2010-08-17 | 1 | -7/+6 |
| * | Ignore upcall_flush for channels that are disassociated from ports. This make... | Michael Bebenita | 2010-08-11 | 1 | -2/+2 |
| * | Synthesize a flush_chan upcall right before a channel's ref_count drops to ze... | Michael Bebenita | 2010-08-09 | 1 | -3/+21 |
| * | Some pretty printing in the runtime. | Michael Bebenita | 2010-08-09 | 1 | -0/+16 |
| * | Move ports out into their own file, add data_message and make communication s... | Michael Bebenita | 2010-07-28 | 1 | -0/+39 |