syndicate-lang
/
racket-matrix-2012
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • 7303df46ed Make one's own arrival non-special main Tony Garnock-Jones 2017-05-12 16:20:38 -0400
  • daa5336bb2 Update for newer Network.Socket versions Tony Garnock-Jones 2017-05-12 16:11:17 -0400
  • 999280176b Good lord, more bugs Tony Garnock-Jones 2017-01-23 13:58:10 -0500
  • a8d69e9778 Gosh, same bugfix as for python many years ago Tony Garnock-Jones 2017-01-23 13:32:28 -0500
  • 66c77df742 chat.java Tony Garnock-Jones 2017-01-23 13:19:58 -0500
  • 0645044194 Bug fix in python chat impl Tony Garnock-Jones 2013-03-18 18:28:55 -0400
  • 1d8f4d718c Haskell chat impl Tony Garnock-Jones 2013-03-18 18:28:48 -0400
  • 355bda15b1 Add default-process-height to vm-pictures Tony Garnock-Jones 2012-08-28 11:49:06 -0400
  • 3b139d0775 Customisable space Tony Garnock-Jones 2012-08-27 18:02:59 -0400
  • 92ee3303c2 Support png display in vm-pictures.rkt Tony Garnock-Jones 2012-08-26 17:17:42 -0400
  • be0878759f Merge branch 'master' of vapour:racket-matrix Tony Garnock-Jones 2012-08-26 17:08:03 -0400
  • 123fe6026a vm-pictures.rkt from paper sources Tony Garnock-Jones 2012-08-26 17:07:52 -0400
  • c617b03e3c Erlang implementation Tony Garnock-Jones 2012-08-16 16:11:19 -0400
  • 4ff995615a Rename fake-tcp's tcp-accept to topic->tcp-connection Tony Garnock-Jones 2012-08-15 15:54:37 -0400
  • 581eafbb11 Abbreviation for the paper Tony Garnock-Jones 2012-08-15 15:47:32 -0400
  • 0c07fb3b0e Introduce "?" as identifier-syntax for "(wild)" Tony Garnock-Jones 2012-08-13 17:06:22 -0400
  • 412ac6496b Rename kill to quit Tony Garnock-Jones 2012-08-13 16:49:24 -0400
  • eeda88d62a Comparable python chat implementation Tony Garnock-Jones 2012-08-13 16:14:25 -0400
  • 55c35a4f04 Presentational tweaks. Tony Garnock-Jones 2012-07-30 13:36:58 -0400
  • 8788d237f7 More cosmetic tweaks Tony Garnock-Jones 2012-08-08 18:23:50 -0400
  • fc463db770 More cosmetic tweaks Tony Garnock-Jones 2012-08-08 16:48:24 -0400
  • e7a630c6e9 Cosmetic Tony Garnock-Jones 2012-08-08 16:46:28 -0400
  • 8576a051a0 Smaller font so slightly more width Tony Garnock-Jones 2012-08-08 16:44:38 -0400
  • ddfa96d685 Inline "speaker" helper function Tony Garnock-Jones 2012-07-30 12:59:13 -0400
  • e2d2338137 Sensible default for requested-count Tony Garnock-Jones 2012-07-27 09:52:47 -0400
  • 3a2ea7b026 Make nested-vm and ground-vm able to take actions instead of transition, for stateless boot processes Tony Garnock-Jones 2012-07-23 17:42:18 -0400
  • 1c42aea271 Make handlers etc *required* to return a transition structure. Tony Garnock-Jones 2012-07-23 17:21:12 -0400
  • 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. Tony Garnock-Jones 2012-07-23 15:21:30 -0400
  • 0a5906e116 Exactly the code from the paper Tony Garnock-Jones 2012-07-23 12:12:14 -0400
  • 5062895429 Cosmetic renaming Tony Garnock-Jones 2012-07-23 12:12:00 -0400
  • fb6547d0f7 Cosmetic: visual indicator of code size Tony Garnock-Jones 2012-07-18 12:13:45 -0400
  • c3f27a9e8d Make this a real running program Tony Garnock-Jones 2012-07-18 12:13:12 -0400
  • 4cab8d3226 Totally encapsulate the connection set. Tony Garnock-Jones 2012-07-17 12:15:03 -0400
  • 68c75d381a Using a thread to (partially) manage the server state Tony Garnock-Jones 2012-07-17 12:07:17 -0400
  • c3a95afecf Improve chat-os2.rkt Tony Garnock-Jones 2012-07-17 11:58:39 -0400
  • b8b74183b8 Make at-meta-level accept a list of actions. Tony Garnock-Jones 2012-07-17 11:58:32 -0400
  • 732010a40a Entersenate chat-sync.rkt Tony Garnock-Jones 2012-07-17 11:53:14 -0400
  • 8f897119a9 Cope with a wider range of end-of-file-style situations. Tony Garnock-Jones 2012-07-16 17:16:34 -0400
  • de5e83f414 Cosmetic Tony Garnock-Jones 2012-07-16 17:08:58 -0400
  • 5fca0d7aac Tweak to presence notification Tony Garnock-Jones 2012-07-16 17:07:42 -0400
  • 59469d68f8 Abbreviated TCP OS2 interface, and two programs to compare. Tony Garnock-Jones 2012-07-16 17:01:56 -0400
  • cf4ca5c8bd Make #:state optional in roles Tony Garnock-Jones 2012-07-16 17:01:35 -0400
  • 50f52283bb role/anon Tony Garnock-Jones 2012-07-16 17:01:16 -0400
  • 5797a25789 Minor corrections and elaborations Tony Garnock-Jones 2012-07-16 09:39:33 -0400
  • 9791100322 Results of pair-programming with Sam yesterday evening Tony Garnock-Jones 2012-07-12 13:25:46 -0400
  • 7d2d701507 os2-tcp-test-bytewise-echo.rkt from 4 July 2012 Tony Garnock-Jones 2012-07-12 13:25:35 -0400
  • 8fd2328532 Outline updates Tony Garnock-Jones 2012-07-11 11:57:25 -0400
  • 913653bba9 Wait for credit before closing the connection. Tony Garnock-Jones 2012-07-11 09:40:47 -0400
  • 07922cec64 Talk outline Tony Garnock-Jones 2012-07-11 09:35:20 -0400
  • 0dc11f7ccb Fix topic pattern in unsubscribe Tony Garnock-Jones 2012-07-09 16:23:35 -0400
  • 3fdd1ae746 Event relaying plus an example program Tony Garnock-Jones 2012-07-09 12:18:08 -0400
  • 47468b2b37 debug-name prefab structure. Tony Garnock-Jones 2012-07-04 17:51:40 -0400
  • 5efa0c4061 Support three levels of interest-type for a topic: participant/ordinary, monitor/observer, and "super-monitor". Tony Garnock-Jones 2012-07-04 17:13:48 -0400
  • bee4834ed6 Rename #:monitor? to #:exit-signal? in spawn's arguments. Tony Garnock-Jones 2012-07-04 16:54:41 -0400
  • 84d769472b I've decided to rename "virtual" flows to "monitor" flows. Tony Garnock-Jones 2012-07-04 16:36:03 -0400
  • 9d069ab0f3 Oops - used or instead of or/c. Tony Garnock-Jones 2012-07-04 16:28:19 -0400
  • 90c00f7595 Introduce send-feedback Tony Garnock-Jones 2012-07-03 15:49:58 -0400
  • 09a957a54e Replace {extend,prefix}-transition{,*} with sequence-actions. Tony Garnock-Jones 2012-07-03 13:13:05 -0400
  • e67bffdcc3 Fix monitoring: I had neglected to use the wrapped main spec! Tony Garnock-Jones 2012-07-03 13:12:31 -0400
  • 1ffd0afe66 Contract process state, and merge spawn/monitor into spawn. Tony Garnock-Jones 2012-06-23 07:55:09 -0400
  • 83cae7075e Note re presence glitch problem. See also journal entry. Tony Garnock-Jones 2012-06-23 07:54:05 -0400
  • ba5c639814 Inert role to permit clients of the timer driver to wait for it to start. Tony Garnock-Jones 2012-06-20 23:54:58 -0400
  • 40912af499 Reexport (ground?). Tony Garnock-Jones 2012-06-19 17:27:17 -0400
  • f6103ee804 Note re: roles Tony Garnock-Jones 2012-06-19 11:37:10 -0400
  • 218c6cc561 Monitoring. Tony Garnock-Jones 2012-06-19 11:37:01 -0400
  • d656694eb1 Spawn main is permitted to return a straight state Tony Garnock-Jones 2012-06-14 11:58:09 -0400
  • a40dbe0d97 extend-transition* and prefix-transition* Tony Garnock-Jones 2012-06-11 16:10:00 -0400
  • cabdd27917 Sketchy role handler update. Pragmatic, rather than principled. Tony Garnock-Jones 2012-06-11 12:32:36 -0400
  • ee1ec3ceda Don't crash if a process yields and gets killed before it is next scheduled Tony Garnock-Jones 2012-06-11 12:32:18 -0400
  • 75d40c7abc Always listen for EOF, even if we have no inbound credit. Tony Garnock-Jones 2012-06-11 12:27:17 -0400
  • 51960662d4 Another example program Tony Garnock-Jones 2012-05-11 15:28:48 -0400
  • 0d23202e54 New TCP example Tony Garnock-Jones 2012-05-11 15:18:44 -0400
  • e925a963ff Use log-info instead of printf to permit silencing os2.rkt Tony Garnock-Jones 2012-05-11 15:18:23 -0400
  • f597cfe33d Driver now only creates resources for fully grounded local addresses. Tony Garnock-Jones 2012-05-11 14:58:16 -0400
  • f1f7cc0d8c Add ground? and fix variables-in Tony Garnock-Jones 2012-05-11 14:57:50 -0400
  • 634e795a6c More test program Tony Garnock-Jones 2012-05-09 16:39:25 -0400
  • d5fe945add TCP driver and test program Tony Garnock-Jones 2012-05-09 16:24:36 -0400
  • 3ec9abad45 Flush debug outputs Tony Garnock-Jones 2012-05-09 16:24:24 -0400
  • 4f63b36c9d prefix-transition Tony Garnock-Jones 2012-05-09 16:24:16 -0400
  • 7d515e4e58 Merge branch 'master' of vapour:racket-matrix Tony Garnock-Jones 2012-05-09 13:44:34 -0400
  • 92d8a13450 Update universe.rkt for latest os2.rkt Tony Garnock-Jones 2012-05-09 13:44:23 -0400
  • 7395f9b1fa Leave Racket's objects opaque to unification. Tony Garnock-Jones 2012-05-09 13:44:11 -0400
  • cca7971b55 current-ground-transition, for debugging Tony Garnock-Jones 2012-05-03 16:31:17 -0400
  • 7bb49752f4 role/fresh macro Tony Garnock-Jones 2012-05-03 16:31:05 -0400
  • 9cf91bb231 Bind non-listener handles too. Tony Garnock-Jones 2012-05-03 16:30:43 -0400
  • 21cc52f4b0 Keep track of metaroles; add debug names Tony Garnock-Jones 2012-05-03 15:09:08 -0400
  • 8f10b2ad4d Support yielding, i.e. polling for outside events. Tony Garnock-Jones 2012-05-02 18:45:41 -0400
  • 112b417f1c os2 UDP driver and simple example program Tony Garnock-Jones 2012-05-02 13:54:49 -0400
  • 70356487f8 Test utility for os2 tests. Tony Garnock-Jones 2012-05-02 13:54:22 -0400
  • 2214f54ab0 Tweak error message. Tony Garnock-Jones 2012-05-02 13:54:02 -0400
  • b78ce4bf62 Print effective kill actions Tony Garnock-Jones 2012-05-02 13:53:52 -0400
  • 07bab897cc Make kill-reason a #:reason keyword. Tony Garnock-Jones 2012-05-02 13:53:20 -0400
  • 5366c6898a Alias structure ctors, to avoid damage from shadowing. Tony Garnock-Jones 2012-05-02 13:52:48 -0400
  • 062aa9f1e3 Remove poorly-thought-out distinction between message topic and message body Tony Garnock-Jones 2012-04-26 13:05:19 -0400
  • bb24f19317 Use process-allocated endpoint-identifiers. Add a timer driver and example. Tony Garnock-Jones 2012-04-17 15:30:25 -0400
  • 2e7aa6ee1f Filter out illegal actions in our action ConsTrees Tony Garnock-Jones 2012-04-17 12:48:04 -0400
  • 6c89d9bd9d Correct documentation. Tony Garnock-Jones 2012-04-17 12:47:01 -0400
  • abb967f09b Reexport racket/match, since so much of os2's action depends on matching Tony Garnock-Jones 2012-04-17 12:45:34 -0400
  • 1b60994028 Make send-message topic optional, defaulting to a publish of the body itself. Tony Garnock-Jones 2012-04-17 12:43:21 -0400
  • 4bf766daff Document BootK data definition Tony Garnock-Jones 2012-04-12 15:17:15 -0400