Commit Graph

47 Commits

Author SHA1 Message Date
Tony Garnock-Jones bd973f069a Direct response example in http-server.rkt 2024-04-10 15:40:32 +02:00
Tony Garnock-Jones 0370c19e43 New http server protocol implementation and example 2024-04-09 13:01:27 +02:00
Tony Garnock-Jones 6673c2b68c Repair comment syntax in config files 2024-04-09 11:35:22 +02:00
Tony Garnock-Jones 5d0d636f16 Happy new year 2024-03-10 12:43:06 +01:00
Tony Garnock-Jones aee1eb4c27 Update schemaish #lang 2023-10-31 22:51:34 +01:00
Tony Garnock-Jones b3df469c80 New gatekeeper protocol 2023-02-10 12:04:21 +01:00
Tony Garnock-Jones 0e158a7b79 Repair incorrect signature 2023-02-06 17:06:26 +01:00
Tony Garnock-Jones 02acdbeb03 Switch to HMAC-BLAKE2s 2023-02-06 16:31:04 +01:00
Tony Garnock-Jones fe2b018c50 Timers are now in seconds, not milliseconds 2023-02-06 15:41:14 +01:00
Tony Garnock-Jones 4da58b50a3 Repair .gitignore 2023-02-04 17:05:13 +01:00
Tony Garnock-Jones fdf775d835 Change port, include server config 2023-02-04 16:27:02 +01:00
Tony Garnock-Jones 7b49079832 Include simpleChatProtocol ourselves 2023-02-04 15:50:42 +01:00
Tony Garnock-Jones 59f133a62f Refactor tcp relay support; add client support; add chat example 2023-01-19 14:47:02 +01:00
Tony Garnock-Jones 89353fa84f Happy new year 2023-01-16 15:57:29 +01:00
Tony Garnock-Jones b39515c6e5 dummy-port-relay-loader.rkt 2022-05-26 17:35:09 +02:00
Tony Garnock-Jones 094838bd2b Support for running Racket programs as inferior services 2022-05-26 17:07:40 +02:00
Tony Garnock-Jones d4d53fa9ba Bump copyright years 2022-01-16 09:48:18 +01:00
Tony Garnock-Jones b05451972b Minor tightening 2021-06-21 15:14:35 +02:00
Tony Garnock-Jones 9fe2f923bc tcp-echo-server-naive.rkt 2021-06-19 11:38:44 +02:00
Tony Garnock-Jones 28901e9d31 Simpler stream connection protocol. 2021-06-18 13:48:12 +02:00
Tony Garnock-Jones 68db114840 Factor generic stream stuff out of tcp.rkt into stream.rkt 2021-06-17 15:26:14 +02:00
Tony Garnock-Jones 0ab3526cba Services and service activation 2021-06-17 14:57:06 +02:00
Tony Garnock-Jones ac8ea67ab1 `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 d30c6feeee 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 0b1e9874d1 Treat #:message separately from #:asserted.
While in principle messages are "instantaneous" assertions, it invites
confusion to treat them as such in context of `(object)` because
assertions by default spawn nested facets, so it's too easy to
accidentally wrap a message handler in an unwanted facet. Being
explicit about messages means you never get an unwanted facet wrapper.
2021-06-15 12:41:46 +02:00
Tony Garnock-Jones 6c9926cb11 Add ConnectionPeer assertions; rename TcpOutbound -> TcpRemote and TcpInbound -> TcpLocal 2021-06-15 12:37:14 +02:00
Tony Garnock-Jones 6546e335ef Refactor/repair tcp.prs and tcp.rkt 2021-06-11 15:29:12 +02:00
Tony Garnock-Jones 247fd1b2c0 Introduce `object` and `spawn/link` 2021-06-10 16:21:30 +02:00
Tony Garnock-Jones 2f4525b031 Split out tcp-client.rkt and tcp-echo-server.rkt 2021-06-10 13:35:26 +02:00
Tony Garnock-Jones 7790923e65 Split out timer-demo.rkt 2021-06-10 13:30:30 +02:00
Tony Garnock-Jones 37ca805969 Ambient current-turn 2021-06-10 11:42:07 +02:00
Tony Garnock-Jones 40c26f006e Remove :template in favour of ->preserve 2021-06-08 16:20:58 +02:00
Tony Garnock-Jones 2d07e46c67 Fix and add copyright notices 2021-06-04 16:20:14 +02:00
Tony Garnock-Jones 7be7c36537 Merge branch 'main' into novy 2021-06-04 16:19:41 +02:00
Tony Garnock-Jones 2a360bff32 Adjust copyrights 2021-06-04 15:56:03 +02:00
Tony Garnock-Jones c6d4d3acf1 Fix up copyright notices 2021-06-04 11:35:27 +02:00
Massimo Zaniboni 855b7835f6 Added license header to each source code file 2021-06-04 11:13:49 +02:00
Tony Garnock-Jones 0a887ec9e2 Add missing dependency from syndicate-examples to preserves. 2021-06-03 23:32:40 +02:00
Tony Garnock-Jones f1c3859a71 Put assertion-struct and message-struct back. 2021-06-03 23:32:22 +02:00
Tony Garnock-Jones b49178146d Move box-protocol to a #lang preserves-schema module 2021-06-03 23:22:46 +02:00
Tony Garnock-Jones d554c4ba8e Move go.rkt and go2.rkt into the examples package 2021-06-03 22:54:36 +02:00
Tony Garnock-Jones 6a0bcb1246 Make box-and-client work better with raco test 2021-06-03 22:50:37 +02:00
Tony Garnock-Jones d648af920a Restore syndicate-examples package; port box-and-client.rkt 2021-06-03 22:48:12 +02:00
Tony Garnock-Jones 08c4980025 Move the bulk of the existing implementation out of the way 2021-05-27 10:34:35 +02:00
Tony Garnock-Jones 90c4c60699 Update README, and replace links to github with links to git.syndicate-lang.org 2021-05-12 14:43:04 +02:00
Tony Garnock-Jones 971d0c52a6 Repair foolish mistake 2020-04-27 21:21:40 +02:00
Tony Garnock-Jones f269c02c23 Rearrange for independent packages. 2020-04-27 20:27:48 +02:00