163 Commits (main)
 

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