164 Commits (main)
 

Author SHA1 Message Date
Tony Garnock-Jones 4fa1a4dcbd Add accidentally-omitted files 10 months ago
Tony Garnock-Jones 5193660913 Bring up to date 10 months ago
Tony Garnock-Jones f800faf0aa Merge latest changes from the syndicate-protocols repository 10 months ago
Tony Garnock-Jones 2b5e5611b3 Bring up to date (untested) 10 months ago
Tony Garnock-Jones b42230b96a ServiceObject 11 months ago
Tony Garnock-Jones 239b1b15cc Repair incorrect definition name 11 months ago
Tony Garnock-Jones 9078267e76 Fix typo 11 months ago
Tony Garnock-Jones 955177b7db Clarify action of `core-service` 11 months ago
Tony Garnock-Jones b4b4995d84 Oops - wanted literals, but had refs instead 11 months ago
Tony Garnock-Jones 422904010b Refine approach to services 11 months ago
Tony Garnock-Jones 6cfd97c91a Remove protocol variant complication (experimental) 11 months ago
Tony Garnock-Jones 770fb79882 Develop service model 11 months ago
Tony Garnock-Jones 0ff8c2c872 Stdio transport 1 year ago
Tony Garnock-Jones c2de82a2b7 schemas/transportAddress.prs 1 year ago
Tony Garnock-Jones 9445a71b53 Use correct latest version of preserves-schemac 1 year ago
Tony Garnock-Jones 8cd601a777 Remove name field from DBind 1 year ago
Tony Garnock-Jones 0b2c7ecfe1 Rename RefAny -> Cap 1 year ago
Tony Garnock-Jones be6b30bba6 Switch Ref -> RefAny 1 year ago
Tony Garnock-Jones 61c1a100d2 Add 'protocols/' from commit '993cf78a387a597281e85e39f54111edc33daa68' 1 year ago
Tony Garnock-Jones 381471225b No names in patterns 1 year ago
Tony Garnock-Jones 993cf78a38 DeBruijn-like binding in patterns 1 year ago
Tony Garnock-Jones f7c6e7d164 Specify embedded type for sturdy.prs 1 year ago
Tony Garnock-Jones e7ddfdf311 EntityRef.Ref in dataspacePatterns 1 year ago
Tony Garnock-Jones dab79020f4 Variations on protocol for internal and external use 1 year ago
Tony Garnock-Jones a6639b5380 Error packets 1 year ago
Tony Garnock-Jones 06e922c511 Compiled schema bundle 1 year ago
Tony Garnock-Jones 93c196acaa Move schemas into subdirectory after subtree split 1 year ago
Tony Garnock-Jones e034486aaa Update schemas to match new identifier restrictions. 1 year ago
Tony Garnock-Jones 824b078eac Simpler stream connection protocol. 1 year ago
Tony Garnock-Jones cf93327ed6 Services and service activation 1 year ago
Tony Garnock-Jones 6cfe8c2ba4 `when` -> `on`; StreamConnection API; better `this-target`; tcp-listen errors 1 year ago
Tony Garnock-Jones b6bc816daf Split out experimental "stream" protocols; make tcp.rkt use them; more inertness checks 1 year ago
Tony Garnock-Jones a73b6a9f4a Whole-packet flow credit 1 year ago
Tony Garnock-Jones f6cb595709 Add ConnectionPeer assertions; rename TcpOutbound -> TcpRemote and TcpInbound -> TcpLocal 1 year ago
Tony Garnock-Jones afe36c630d Refactor/repair tcp.prs and tcp.rkt 1 year ago
Tony Garnock-Jones 5850c5b06d Credit-based flow control on tcp driver; line mode 1 year ago
Tony Garnock-Jones b0d0eb3a11 drivers/racket-event.rkt 1 year ago
Tony Garnock-Jones 21d09f81e5 ActiveSocket-close now gets a string, not an embedded exn 1 year ago
Tony Garnock-Jones 8b5e74048e Beginnings of a TCP driver 1 year ago
Tony Garnock-Jones 201f5433e1 Port timer driver from older syndicate/rkt implementation 1 year ago
Tony Garnock-Jones 9bb081292b Clean up 1 year ago
Tony Garnock-Jones 63e417cdc3 TAttenuate 1 year ago
Tony Garnock-Jones 8cbe2475e3 TAttenuate 1 year ago
Tony Garnock-Jones 930f7eda00 Move box-protocol to a #lang preserves-schema module 1 year ago
Tony Garnock-Jones a932fa1428 Pattern decomposition 1 year ago
Tony Garnock-Jones 3412eabcff Update schemas for new embedded syntax; steps toward pattern support 1 year ago
Tony Garnock-Jones 594fe01067 Upgrade to latest schema language including embedded interfaces 1 year ago
Tony Garnock-Jones 41e214e078 inert check needed 1 year ago
Tony Garnock-Jones 2beecfc78e Make actor *stop* an orderly termination (vs crash) 1 year ago
Tony Garnock-Jones 9a06f4a633 Make turns atomic, rather than reply-turn-per-event 1 year ago