163 Commits (main)
 

Author SHA1 Message Date
Tony Garnock-Jones 7303df46ed Make one's own arrival non-special 4 years ago
Tony Garnock-Jones daa5336bb2 Update for newer Network.Socket versions 4 years ago
Tony Garnock-Jones 999280176b Good lord, more bugs 5 years ago
Tony Garnock-Jones a8d69e9778 Gosh, same bugfix as for python many years ago 5 years ago
Tony Garnock-Jones 66c77df742 chat.java 5 years ago
Tony Garnock-Jones 0645044194 Bug fix in python chat impl 9 years ago
Tony Garnock-Jones 1d8f4d718c Haskell chat impl 9 years ago
Tony Garnock-Jones 355bda15b1 Add default-process-height to vm-pictures 9 years ago
Tony Garnock-Jones 3b139d0775 Customisable space 9 years ago
Tony Garnock-Jones 92ee3303c2 Support png display in vm-pictures.rkt 9 years ago
Tony Garnock-Jones be0878759f Merge branch 'master' of vapour:racket-matrix 9 years ago
Tony Garnock-Jones 123fe6026a vm-pictures.rkt from paper sources 9 years ago
Tony Garnock-Jones c617b03e3c Erlang implementation 9 years ago
Tony Garnock-Jones 4ff995615a Rename fake-tcp's tcp-accept to topic->tcp-connection 9 years ago
Tony Garnock-Jones 581eafbb11 Abbreviation for the paper 9 years ago
Tony Garnock-Jones 0c07fb3b0e Introduce "?" as identifier-syntax for "(wild)" 9 years ago
Tony Garnock-Jones 412ac6496b Rename kill to quit 9 years ago
Tony Garnock-Jones eeda88d62a Comparable python chat implementation 9 years ago
Tony Garnock-Jones 55c35a4f04 Presentational tweaks. 9 years ago
Tony Garnock-Jones 8788d237f7 More cosmetic tweaks 9 years ago
Tony Garnock-Jones fc463db770 More cosmetic tweaks 9 years ago
Tony Garnock-Jones e7a630c6e9 Cosmetic 9 years ago
Tony Garnock-Jones 8576a051a0 Smaller font so slightly more width 9 years ago
Tony Garnock-Jones ddfa96d685 Inline "speaker" helper function 9 years ago
Tony Garnock-Jones e2d2338137 Sensible default for requested-count 9 years ago
Tony Garnock-Jones 3a2ea7b026 Make nested-vm and ground-vm able to take actions instead of transition, for stateless boot processes 9 years ago
Tony Garnock-Jones 1c42aea271 Make handlers etc *required* to return a transition structure. 9 years ago
Tony Garnock-Jones 7d7cfc9738 Make role names optional, and remove role/anon. Remove inessential 9 years ago
Tony Garnock-Jones 0a5906e116 Exactly the code from the paper 9 years ago
Tony Garnock-Jones 5062895429 Cosmetic renaming 9 years ago
Tony Garnock-Jones fb6547d0f7 Cosmetic: visual indicator of code size 9 years ago
Tony Garnock-Jones c3f27a9e8d Make this a real running program 9 years ago
Tony Garnock-Jones 4cab8d3226 Totally encapsulate the connection set. 9 years ago
Tony Garnock-Jones 68c75d381a Using a thread to (partially) manage the server state 9 years ago
Tony Garnock-Jones c3a95afecf Improve chat-os2.rkt 9 years ago
Tony Garnock-Jones b8b74183b8 Make at-meta-level accept a list of actions. 9 years ago
Tony Garnock-Jones 732010a40a Entersenate chat-sync.rkt 9 years ago
Tony Garnock-Jones 8f897119a9 Cope with a wider range of end-of-file-style situations. 9 years ago
Tony Garnock-Jones de5e83f414 Cosmetic 9 years ago
Tony Garnock-Jones 5fca0d7aac Tweak to presence notification 9 years ago
Tony Garnock-Jones 59469d68f8 Abbreviated TCP OS2 interface, and two programs to compare. 9 years ago
Tony Garnock-Jones cf4ca5c8bd Make #:state optional in roles 9 years ago
Tony Garnock-Jones 50f52283bb role/anon 9 years ago
Tony Garnock-Jones 5797a25789 Minor corrections and elaborations 9 years ago
Tony Garnock-Jones 9791100322 Results of pair-programming with Sam yesterday evening 9 years ago
Tony Garnock-Jones 7d2d701507 os2-tcp-test-bytewise-echo.rkt from 4 July 2012 9 years ago
Tony Garnock-Jones 8fd2328532 Outline updates 9 years ago
Tony Garnock-Jones 913653bba9 Wait for credit before closing the connection. 9 years ago
Tony Garnock-Jones 07922cec64 Talk outline 9 years ago
Tony Garnock-Jones 0dc11f7ccb Fix topic pattern in unsubscribe 9 years ago