Tony Garnock-Jones
|
92ee3303c2
|
Support png display in vm-pictures.rkt
|
2012-08-26 17:17:42 -04:00 |
|
Tony Garnock-Jones
|
be0878759f
|
Merge branch 'master' of vapour:racket-matrix
|
2012-08-26 17:08:03 -04:00 |
|
Tony Garnock-Jones
|
123fe6026a
|
vm-pictures.rkt from paper sources
|
2012-08-26 17:07:52 -04:00 |
|
Tony Garnock-Jones
|
c617b03e3c
|
Erlang implementation
|
2012-08-16 16:11:19 -04:00 |
|
Tony Garnock-Jones
|
4ff995615a
|
Rename fake-tcp's tcp-accept to topic->tcp-connection
|
2012-08-15 15:54:37 -04:00 |
|
Tony Garnock-Jones
|
581eafbb11
|
Abbreviation for the paper
|
2012-08-15 15:47:32 -04:00 |
|
Tony Garnock-Jones
|
0c07fb3b0e
|
Introduce "?" as identifier-syntax for "(wild)"
|
2012-08-13 17:06:22 -04:00 |
|
Tony Garnock-Jones
|
412ac6496b
|
Rename kill to quit
|
2012-08-13 16:49:24 -04:00 |
|
Tony Garnock-Jones
|
eeda88d62a
|
Comparable python chat implementation
|
2012-08-13 16:14:25 -04:00 |
|
Tony Garnock-Jones
|
55c35a4f04
|
Presentational tweaks.
|
2012-08-13 14:24:15 -04:00 |
|
Tony Garnock-Jones
|
8788d237f7
|
More cosmetic tweaks
|
2012-08-08 18:23:50 -04:00 |
|
Tony Garnock-Jones
|
fc463db770
|
More cosmetic tweaks
|
2012-08-08 16:48:24 -04:00 |
|
Tony Garnock-Jones
|
e7a630c6e9
|
Cosmetic
|
2012-08-08 16:46:28 -04:00 |
|
Tony Garnock-Jones
|
8576a051a0
|
Smaller font so slightly more width
|
2012-08-08 16:44:38 -04:00 |
|
Tony Garnock-Jones
|
ddfa96d685
|
Inline "speaker" helper function
|
2012-07-30 12:59:17 -04:00 |
|
Tony Garnock-Jones
|
e2d2338137
|
Sensible default for requested-count
|
2012-07-27 09:52:47 -04:00 |
|
Tony Garnock-Jones
|
3a2ea7b026
|
Make nested-vm and ground-vm able to take actions instead of transition, for stateless boot processes
|
2012-07-23 17:42:18 -04:00 |
|
Tony Garnock-Jones
|
1c42aea271
|
Make handlers etc *required* to return a transition structure.
|
2012-07-23 17:38:18 -04:00 |
|
Tony Garnock-Jones
|
7d7cfc9738
|
Make role names optional, and remove role/anon. Remove inessential
role names from apps. Make nested-vm a macro. Shrink
chat-os2-paper.rkt to 40 columns.
|
2012-07-23 15:21:30 -04:00 |
|
Tony Garnock-Jones
|
0a5906e116
|
Exactly the code from the paper
|
2012-07-23 12:12:14 -04:00 |
|
Tony Garnock-Jones
|
5062895429
|
Cosmetic renaming
|
2012-07-23 12:12:00 -04:00 |
|
Tony Garnock-Jones
|
fb6547d0f7
|
Cosmetic: visual indicator of code size
|
2012-07-18 12:13:45 -04:00 |
|
Tony Garnock-Jones
|
c3f27a9e8d
|
Make this a real running program
|
2012-07-18 12:13:12 -04:00 |
|
Tony Garnock-Jones
|
4cab8d3226
|
Totally encapsulate the connection set.
|
2012-07-17 12:15:03 -04:00 |
|
Tony Garnock-Jones
|
68c75d381a
|
Using a thread to (partially) manage the server state
|
2012-07-17 12:07:17 -04:00 |
|
Tony Garnock-Jones
|
c3a95afecf
|
Improve chat-os2.rkt
|
2012-07-17 11:58:39 -04:00 |
|
Tony Garnock-Jones
|
b8b74183b8
|
Make at-meta-level accept a list of actions.
|
2012-07-17 11:58:32 -04:00 |
|
Tony Garnock-Jones
|
732010a40a
|
Entersenate chat-sync.rkt
|
2012-07-17 11:53:14 -04:00 |
|
Tony Garnock-Jones
|
8f897119a9
|
Cope with a wider range of end-of-file-style situations.
|
2012-07-16 17:16:34 -04:00 |
|
Tony Garnock-Jones
|
de5e83f414
|
Cosmetic
|
2012-07-16 17:08:58 -04:00 |
|
Tony Garnock-Jones
|
5fca0d7aac
|
Tweak to presence notification
|
2012-07-16 17:07:42 -04:00 |
|
Tony Garnock-Jones
|
59469d68f8
|
Abbreviated TCP OS2 interface, and two programs to compare.
|
2012-07-16 17:01:56 -04:00 |
|
Tony Garnock-Jones
|
cf4ca5c8bd
|
Make #:state optional in roles
|
2012-07-16 17:01:35 -04:00 |
|
Tony Garnock-Jones
|
50f52283bb
|
role/anon
|
2012-07-16 17:01:16 -04:00 |
|
Tony Garnock-Jones
|
5797a25789
|
Minor corrections and elaborations
|
2012-07-16 09:39:33 -04:00 |
|
Tony Garnock-Jones
|
9791100322
|
Results of pair-programming with Sam yesterday evening
|
2012-07-12 13:25:46 -04:00 |
|
Tony Garnock-Jones
|
7d2d701507
|
os2-tcp-test-bytewise-echo.rkt from 4 July 2012
|
2012-07-12 13:25:35 -04:00 |
|
Tony Garnock-Jones
|
8fd2328532
|
Outline updates
|
2012-07-11 11:57:25 -04:00 |
|
Tony Garnock-Jones
|
913653bba9
|
Wait for credit before closing the connection.
|
2012-07-11 09:40:47 -04:00 |
|
Tony Garnock-Jones
|
07922cec64
|
Talk outline
|
2012-07-11 09:35:20 -04:00 |
|
Tony Garnock-Jones
|
0dc11f7ccb
|
Fix topic pattern in unsubscribe
|
2012-07-09 16:23:35 -04:00 |
|
Tony Garnock-Jones
|
3fdd1ae746
|
Event relaying plus an example program
|
2012-07-09 12:18:08 -04:00 |
|
Tony Garnock-Jones
|
47468b2b37
|
debug-name prefab structure.
|
2012-07-04 17:51:40 -04:00 |
|
Tony Garnock-Jones
|
5efa0c4061
|
Support three levels of interest-type for a topic: participant/ordinary, monitor/observer, and "super-monitor".
|
2012-07-04 17:18:32 -04:00 |
|
Tony Garnock-Jones
|
bee4834ed6
|
Rename #:monitor? to #:exit-signal? in spawn's arguments.
|
2012-07-04 17:18:24 -04:00 |
|
Tony Garnock-Jones
|
84d769472b
|
I've decided to rename "virtual" flows to "monitor" flows.
|
2012-07-04 16:36:03 -04:00 |
|
Tony Garnock-Jones
|
9d069ab0f3
|
Oops - used or instead of or/c.
|
2012-07-04 16:28:19 -04:00 |
|
Tony Garnock-Jones
|
90c00f7595
|
Introduce send-feedback
|
2012-07-03 15:49:58 -04:00 |
|
Tony Garnock-Jones
|
09a957a54e
|
Replace {extend,prefix}-transition{,*} with sequence-actions.
|
2012-07-03 13:13:05 -04:00 |
|
Tony Garnock-Jones
|
e67bffdcc3
|
Fix monitoring: I had neglected to use the wrapped main spec!
|
2012-07-03 13:12:31 -04:00 |