Commit Graph

Select branches

Hide Pull Requests

main

0.0.1-r20220114

0.0.2-r20220206

0.0.3-r20230204

0.0.4-r20230207

0.1.0-r20230210

0.1.1-r20230211

Mono Color

• d8a139b23a Switch back to transport sequence representation main 0.1.1-r20230211 Tony Garnock-Jones 2023-02-11 21:49:49 +0100
• 46fd2dec3b Set of any for transports in gatekeeper.Route Tony Garnock-Jones 2023-02-11 17:43:42 +0100
• 1ae2583414 Remove accidental self-qualification 0.1.0-r20230210 Tony Garnock-Jones 2023-02-09 23:07:43 +0100
• f3c9662607 Another small error Tony Garnock-Jones 2023-02-08 23:43:51 +0100
• 82624d3007 Another small error Tony Garnock-Jones 2023-02-08 23:39:42 +0100
• 8b690b9103 Repair minor error Tony Garnock-Jones 2023-02-08 23:36:21 +0100
• 5a52f243e5 Adjust steps in noise and sturdy Tony Garnock-Jones 2023-02-08 23:11:05 +0100
• 6224baa2b6 Avoid variable-arity steps Tony Garnock-Jones 2023-02-08 23:04:42 +0100
• 8619342e5e Refinements Tony Garnock-Jones 2023-02-08 22:11:45 +0100
• 5bcb268ff8 Adjust ResolvePath/TransportConnection/PathStep Tony Garnock-Jones 2023-02-08 20:36:14 +0100
• 9cd2e6776c Refactor gatekeeper protocols. Tony Garnock-Jones 2023-02-08 14:33:48 +0100
• a086c1d721 Repair typo Tony Garnock-Jones 2023-02-07 13:18:18 +0100
• bc41182533 Another small repair Tony Garnock-Jones 2023-02-07 13:11:14 +0100
• 2ad99b56b8 Be more precise about HMAC-BLAKE2s-256 and the key length Tony Garnock-Jones 2023-02-07 12:44:47 +0100
• f6b88ee3fb Switch to HMAC-BLAKE2s 0.0.4-r20230207 Tony Garnock-Jones 2023-02-06 16:19:03 +0100
• ee8a23aa2e Switch from milliseconds to seconds. Fixes #1 Tony Garnock-Jones 2023-02-06 15:36:17 +0100
• 5cd0335a79 Argh, previous commit won't work Tony Garnock-Jones 2023-02-06 11:06:02 +0100
• b52da09081 More usable (?) rewrite language Tony Garnock-Jones 2023-02-06 10:58:16 +0100
• 9ca618268e Simplify attenuations Tony Garnock-Jones 2023-02-06 10:45:41 +0100
• 9f1f76d0ca Remove racketEvent.prs 0.0.3-r20230204 Tony Garnock-Jones 2023-02-04 16:30:27 +0100
• f4078aabaa Update binary bundle Tony Garnock-Jones 2023-02-04 13:46:49 +0100
• 557a36756f First step of cleanup of protocols Tony Garnock-Jones 2023-02-04 13:46:34 +0100
• 07a5f688be Repair binary bundle Tony Garnock-Jones 2023-01-27 12:52:07 +0100
• fff84d4c2a Update noise mapping Tony Garnock-Jones 2023-01-27 12:45:02 +0100
• 5983cd01f1 Another note re noise Tony Garnock-Jones 2023-01-23 13:08:12 +0100
• e8881f5980 Now I have actually implemented Noise, revise the schema Tony Garnock-Jones 2023-01-19 12:18:58 +0100
• 40b4681a6e Ugh, xsalsa20poly1305 as an AEAD isn't a thing Tony Garnock-Jones 2023-01-16 16:21:12 +0100
• 0f5e033174 noise Tony Garnock-Jones 2023-01-16 15:52:46 +0100
• aae53b5525 Update precompiled form Tony Garnock-Jones 2023-01-16 15:51:57 +0100
• 4c03646567 HTTP Tony Garnock-Jones 2022-12-13 18:08:34 +1300
• ca92d99c52 Remove notion of "system-layer-service" from core protocols 0.0.2-r20220206 Tony Garnock-Jones 2022-02-04 14:26:50 +0100
• 19c96bdef2 Allow userDefined states Tony Garnock-Jones 2022-02-03 22:55:06 +0100
• ab34b62cf1 Refine the trace protocol a bit Tony Garnock-Jones 2022-01-20 09:40:53 +0100
• 5a65256cf3 Syndicate traces Tony Garnock-Jones 2022-01-19 14:24:21 +0100
• 257c604e2b Repair bad record pattern Tony Garnock-Jones 2022-01-17 00:22:10 +0100
• a06d532006 Extension point. Closes #2 Tony Garnock-Jones 2022-01-16 21:17:36 +0100
• e04b898c7f Adjustments to service.prs 0.0.1-r20220114 Tony Garnock-Jones 2022-01-07 15:29:20 +0100
• 5f60c22e49 More simplifications, to sturdy this time Tony Garnock-Jones 2021-12-13 15:43:01 +0100
• 49075e7e84 Embedded values count as atoms here Tony Garnock-Jones 2021-12-13 14:22:32 +0100
• b3e24d819c Experiment: stricter, simpler dataspacePatterns Tony Garnock-Jones 2021-12-13 13:49:58 +0100
• b2df99cbc0 New preserves-schemac invocation style Tony Garnock-Jones 2021-12-13 13:44:02 +0100
• b42230b96a ServiceObject Tony Garnock-Jones 2021-10-06 21:51:08 +0200
• 239b1b15cc Repair incorrect definition name Tony Garnock-Jones 2021-09-27 13:57:12 +0200
• 9078267e76 Fix typo Tony Garnock-Jones 2021-09-27 13:56:12 +0200
• 955177b7db Clarify action of `core-service` Tony Garnock-Jones 2021-09-27 13:53:54 +0200
• b4b4995d84 Oops - wanted literals, but had refs instead Tony Garnock-Jones 2021-09-27 13:50:29 +0200
• 422904010b Refine approach to services Tony Garnock-Jones 2021-09-27 13:48:26 +0200
• 6cfd97c91a Remove protocol variant complication (experimental) Tony Garnock-Jones 2021-09-24 12:57:05 +0200
• 770fb79882 Develop service model Tony Garnock-Jones 2021-09-24 12:55:41 +0200
• 0ff8c2c872 Stdio transport Tony Garnock-Jones 2021-08-19 18:17:51 -0400
• c2de82a2b7 schemas/transportAddress.prs Tony Garnock-Jones 2021-08-18 22:59:59 -0400
• 9445a71b53 Use correct latest version of preserves-schemac Tony Garnock-Jones 2021-08-11 16:05:36 -0400
• 8cd601a777 Remove name field from DBind Tony Garnock-Jones 2021-08-11 15:43:29 -0400
• 0b2c7ecfe1 Rename RefAny -> Cap Tony Garnock-Jones 2021-07-22 14:12:53 +0200
• be6b30bba6 Switch Ref -> RefAny Tony Garnock-Jones 2021-07-22 13:43:14 +0200
• 993cf78a38 DeBruijn-like binding in patterns Tony Garnock-Jones 2021-07-12 21:10:19 +0200
• f7c6e7d164 Specify embedded type for sturdy.prs Tony Garnock-Jones 2021-07-03 09:00:58 +0200
• e7ddfdf311 EntityRef.Ref in dataspacePatterns Tony Garnock-Jones 2021-07-02 16:51:21 +0200
• dab79020f4 Variations on protocol for internal and external use Tony Garnock-Jones 2021-07-02 16:48:15 +0200
• a6639b5380 Error packets Tony Garnock-Jones 2021-07-02 10:11:53 +0200
• 06e922c511 Compiled schema bundle Tony Garnock-Jones 2021-07-01 10:04:26 +0200
• 93c196acaa Move schemas into subdirectory after subtree split Tony Garnock-Jones 2021-07-01 09:51:53 +0200
• e034486aaa Update schemas to match new identifier restrictions. Tony Garnock-Jones 2021-06-25 09:45:38 +0200
• 824b078eac Simpler stream connection protocol. Tony Garnock-Jones 2021-06-18 13:48:12 +0200
• cf93327ed6 Services and service activation Tony Garnock-Jones 2021-06-17 14:57:06 +0200
• 6cfe8c2ba4 `when` -> `on`; StreamConnection API; better `this-target`; tcp-listen errors Tony Garnock-Jones 2021-06-17 13:38:30 +0200
• b6bc816daf Split out experimental "stream" protocols; make tcp.rkt use them; more inertness checks Tony Garnock-Jones 2021-06-16 21:41:53 +0200
• a73b6a9f4a Whole-packet flow credit Tony Garnock-Jones 2021-06-15 12:46:09 +0200
• f6cb595709 Add ConnectionPeer assertions; rename TcpOutbound -> TcpRemote and TcpInbound -> TcpLocal Tony Garnock-Jones 2021-06-15 12:36:25 +0200
• afe36c630d Refactor/repair tcp.prs and tcp.rkt Tony Garnock-Jones 2021-06-11 15:29:12 +0200
• 5850c5b06d Credit-based flow control on tcp driver; line mode Tony Garnock-Jones 2021-06-11 14:18:53 +0200
• b0d0eb3a11 drivers/racket-event.rkt Tony Garnock-Jones 2021-06-10 13:34:18 +0200
• 21d09f81e5 ActiveSocket-close now gets a string, not an embedded exn Tony Garnock-Jones 2021-06-10 13:33:16 +0200
• 8b5e74048e Beginnings of a TCP driver Tony Garnock-Jones 2021-06-10 10:00:43 +0200
• 201f5433e1 Port timer driver from older syndicate/rkt implementation Tony Garnock-Jones 2021-06-09 23:08:06 +0200
• 8cbe2475e3 TAttenuate Tony Garnock-Jones 2021-06-09 15:06:58 +0200
• 930f7eda00 Move box-protocol to a #lang preserves-schema module Tony Garnock-Jones 2021-06-03 23:22:46 +0200
• a932fa1428 Pattern decomposition Tony Garnock-Jones 2021-06-03 15:58:48 +0200
• 3412eabcff Update schemas for new embedded syntax; steps toward pattern support Tony Garnock-Jones 2021-06-02 06:57:48 +0200
• e47a37e3f0 First steps to an actual novy implementation Tony Garnock-Jones 2021-05-27 10:36:35 +0200