syndicate-lang
/
syndicate-py
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity
262 Commits 1 Branch 30 Tags 381 KiB
Commit Graph

262 Commits

Author SHA1 Message Date
Tony Garnock-Jones dab79020f4 Variations on protocol for internal and external use 2021-07-02 16:48:15 +02:00
Tony Garnock-Jones a6639b5380 Error packets 2021-07-02 10:11:53 +02:00
Tony Garnock-Jones 06e922c511 Compiled schema bundle 2021-07-01 10:04:26 +02:00
Tony Garnock-Jones 93c196acaa Move schemas into subdirectory after subtree split 2021-07-01 09:51:53 +02:00
Tony Garnock-Jones e034486aaa Update schemas to match new identifier restrictions. 2021-06-25 09:45:38 +02:00
Tony Garnock-Jones 824b078eac Simpler stream connection protocol. 2021-06-18 13:48:12 +02:00
Tony Garnock-Jones cf93327ed6 Services and service activation 2021-06-17 14:57:06 +02:00
Tony Garnock-Jones 6cfe8c2ba4 `when` -> `on`; StreamConnection API; better `this-target`; tcp-listen errors 
- spec-generic StreamConnection translators, for simple TCP API
 - `when` -> `on`, better use for event-expanders
 - Removal of special processing of `at`, making `this-target` properly lexically scopeable
 - TcpListenError and handling of tcp-listen errors
 - SYNDICATE_COLUMNS for pretty-printing of dataspace traces
 - Repair driver-support.rkt thread shutdown turn-taking
 - Refinements to stream protocols and implementation
 - Improvements to syntax location preservation in syntax.rkt
 2021-06-17 13:38:30 +02:00
Tony Garnock-Jones b6bc816daf Split out experimental "stream" protocols; make tcp.rkt use them; more inertness checks 
Also, a few other important changes:
 - Better printing of entity-ref structs
 - Inertness checks on assertion retraction (!) and preventer-disarm
 - Correct selection of active facet during dataflow recomputations
 - Repair silly omission in turn-assert/dataflow!
 2021-06-16 21:44:07 +02:00
Tony Garnock-Jones a73b6a9f4a Whole-packet flow credit 2021-06-15 12:46:09 +02:00
Tony Garnock-Jones f6cb595709 Add ConnectionPeer assertions; rename TcpOutbound -> TcpRemote and TcpInbound -> TcpLocal 2021-06-15 12:37:14 +02:00
Tony Garnock-Jones afe36c630d Refactor/repair tcp.prs and tcp.rkt 2021-06-11 15:29:12 +02:00
Tony Garnock-Jones 5850c5b06d Credit-based flow control on tcp driver; line mode 2021-06-11 14:18:53 +02:00
Tony Garnock-Jones b0d0eb3a11 drivers/racket-event.rkt 2021-06-10 13:34:18 +02:00
Tony Garnock-Jones 21d09f81e5 ActiveSocket-close now gets a string, not an embedded exn 2021-06-10 13:33:16 +02:00
Tony Garnock-Jones 8b5e74048e Beginnings of a TCP driver 2021-06-10 10:00:43 +02:00
Tony Garnock-Jones 201f5433e1 Port timer driver from older syndicate/rkt implementation 2021-06-09 23:08:06 +02:00
Tony Garnock-Jones 8cbe2475e3 TAttenuate 2021-06-09 15:06:58 +02:00
Tony Garnock-Jones 930f7eda00 Move box-protocol to a #lang preserves-schema module 2021-06-03 23:22:46 +02:00
Tony Garnock-Jones a932fa1428 Pattern decomposition 2021-06-03 15:58:48 +02:00
Tony Garnock-Jones 3412eabcff Update schemas for new embedded syntax; steps toward pattern support 2021-06-02 06:57:48 +02:00
Tony Garnock-Jones e47a37e3f0 First steps to an actual novy implementation 2021-05-27 10:36:35 +02:00
Tony Garnock-Jones d4387d645a Fix linking 2021-05-12 15:45:05 +02:00
Tony Garnock-Jones 678d828f20 Link to chat.py 2021-05-12 15:44:24 +02:00
Tony Garnock-Jones f4a32f08cc README.md 2021-05-12 15:43:54 +02:00
Tony Garnock-Jones 378e4b69a6 An attempt at better connection error-handling 2020-07-22 10:06:58 +02:00
Tony Garnock-Jones a4f5da1a25 Latest preserves doesn't support placeholders 2020-07-22 10:06:47 +02:00
Tony Garnock-Jones 419597ecf4 Bump version for new preserves 0.1.x 2019-09-11 15:09:40 +01:00
Tony Garnock-Jones 53df6ba4f1 Unneeded vestigial import 2019-09-11 15:00:27 +01:00
Tony Garnock-Jones 306f702679 Comment re import * 2019-09-11 15:00:17 +01:00
Tony Garnock-Jones 25ef728b80 Update from short forms to placeholders 2019-09-11 14:38:12 +01:00
Tony Garnock-Jones eccff41397 is_alive; better error reporting 2019-06-24 00:03:07 +01:00
Tony Garnock-Jones 3b34b86bf1 Actors; Facets; logging; error handling 2019-06-23 21:43:52 +01:00
Tony Garnock-Jones a068acb2f7 Actually wait before reconnecting 2019-06-23 15:15:22 +01:00
Tony Garnock-Jones f6b7667155 Reconnection logic 2019-06-23 15:11:42 +01:00
Tony Garnock-Jones ab54b0234f Connection URL parsing 2019-06-23 14:37:35 +01:00
Tony Garnock-Jones 24590b17ad Clean up for publication 2019-06-23 13:17:47 +01:00
Tony Garnock-Jones 0ec0d68b62 Flush after print 2019-06-13 12:59:05 +01:00
Tony Garnock-Jones c73fb462d2 Turn-based protocol 2019-06-12 00:26:40 +01:00
Tony Garnock-Jones 7762529d16 End message 2019-06-07 15:06:18 +01:00
Tony Garnock-Jones 9dbf4a8c5a Turn commits 2019-05-30 22:35:56 +01:00
Tony Garnock-Jones b67ad5d1c5 ovlinfo.py 2019-05-28 17:00:36 +01:00
Tony Garnock-Jones 207d54c576 Include omitted connection alternative 2019-05-28 16:00:49 +01:00
Tony Garnock-Jones 816b9ceb60 Change name of chat scope to "chat" 2019-05-16 22:30:07 +01:00
Tony Garnock-Jones 31f81f3de1 Move away from use of "broker" 2019-05-16 20:14:27 +01:00
Tony Garnock-Jones 73f66b9638 Simplify (?) ws.recv invocation 2019-05-16 15:00:12 +01:00
Tony Garnock-Jones d514baac38 Better fault handling: a delayed send/close will only fire if self.ws is still present 2019-05-16 15:00:00 +01:00
Tony Garnock-Jones 2f119b81af Handle errors from server 2019-05-16 14:59:23 +01:00
Tony Garnock-Jones fdf8a07a5d Python3 wants strings given to stderr.write 2019-05-16 14:28:14 +01:00
Tony Garnock-Jones 3d4b0d547c New connection setup protocol 2019-05-16 12:46:22 +01:00