Commit graph

102 commits

Author SHA1 Message Date
590f04fbec Include PeriodicTick in timer.prs 2024-07-14 12:26:45 +02:00
bf0c30a160 Simplify gatekeeper client-side protocols 2024-06-07 11:53:22 +02:00
599b4ed469 Packet::Nop 2024-05-19 21:32:44 +02:00
6e555c9fd5 Update binary schemas 2024-04-19 12:57:14 +02:00
8ebde104ca http: order absent fields first
This makes the absent variants the default initialization for
some implementations.
2024-04-19 10:51:40 +02:00
c0239cf322 And with that we are almost back where we started with http.prs! 2024-04-10 15:16:35 +02:00
9cc4175f24 Cope with HTTP/1.0's optional Host header 2024-04-10 14:54:19 +02:00
70f42dd931 Another revision of http.prs 2024-04-10 14:31:27 +02:00
ef1ebe6412 Sigh. <done> turns out to be a good idea in addition to <processing> 2024-04-10 13:24:25 +02:00
ca18ca08df Alternative representation of dataspacePatterns 2024-04-09 09:15:21 +02:00
40ca168eac Repair typo 2024-04-09 09:13:51 +02:00
5a73e8d4c3 Alter dataspacePatterns language to make rec and arr more like dict 2024-04-04 16:31:09 +02:00
710ff91a64 Revise http protocol 2024-04-01 15:56:07 +02:00
c59e044695 Set embeddedType for noise 2024-03-28 15:49:48 +01:00
bf0d47f1b7 Repair noise protocol 2024-03-28 15:17:28 +01:00
7797a3cd09 Updated description of gatekeeper protocol 2024-03-22 10:11:57 +01:00
9864ce0ec8 Switch #! to #: 2024-02-05 23:14:19 +01:00
5dd68e87c1 Preserves 0.993 lacks float 2024-02-03 15:16:23 +01:00
97876335ba Save a few bytes on the wire. If not now, never I guess 2023-12-19 21:37:41 +13:00
d7b330e6dd stdenv.prs 2023-12-04 22:25:40 +01:00
fe9ceaf65c Update comment syntax for Preserves 0.991 2023-10-31 21:56:44 +01:00
72566ac223 Update for Preserves 0.990 2023-10-18 14:02:28 +02:00
d8a139b23a Switch back to transport sequence representation 2023-02-11 21:49:49 +01:00
46fd2dec3b Set of any for transports in gatekeeper.Route 2023-02-11 17:43:42 +01:00
1ae2583414 Remove accidental self-qualification 2023-02-09 23:07:43 +01:00
f3c9662607 Another small error 2023-02-08 23:43:51 +01:00
82624d3007 Another small error 2023-02-08 23:39:42 +01:00
8b690b9103 Repair minor error 2023-02-08 23:36:21 +01:00
5a52f243e5 Adjust steps in noise and sturdy 2023-02-08 23:11:05 +01:00
6224baa2b6 Avoid variable-arity steps 2023-02-08 23:04:42 +01:00
8619342e5e Refinements 2023-02-08 22:11:45 +01:00
5bcb268ff8 Adjust ResolvePath/TransportConnection/PathStep 2023-02-08 20:36:14 +01:00
9cd2e6776c Refactor gatekeeper protocols. 2023-02-08 17:46:47 +01:00
a086c1d721 Repair typo 2023-02-07 13:18:18 +01:00
bc41182533 Another small repair 2023-02-07 13:11:14 +01:00
2ad99b56b8 Be more precise about HMAC-BLAKE2s-256 and the key length 2023-02-07 12:44:47 +01:00
f6b88ee3fb Switch to HMAC-BLAKE2s 2023-02-06 16:19:03 +01:00
ee8a23aa2e Switch from milliseconds to seconds. Fixes #1 2023-02-06 15:36:17 +01:00
5cd0335a79 Argh, previous commit won't work 2023-02-06 11:06:02 +01:00
b52da09081 More usable (?) rewrite language 2023-02-06 10:58:16 +01:00
9ca618268e Simplify attenuations 2023-02-06 10:45:41 +01:00
9f1f76d0ca Remove racketEvent.prs 2023-02-04 16:30:27 +01:00
f4078aabaa Update binary bundle 2023-02-04 13:46:49 +01:00
557a36756f First step of cleanup of protocols 2023-02-04 13:46:34 +01:00
07a5f688be Repair binary bundle 2023-01-27 12:52:07 +01:00
fff84d4c2a Update noise mapping 2023-01-27 12:45:02 +01:00
5983cd01f1 Another note re noise 2023-01-23 13:08:12 +01:00
e8881f5980 Now I have actually implemented Noise, revise the schema 2023-01-19 12:18:58 +01:00
40b4681a6e Ugh, xsalsa20poly1305 as an AEAD isn't a thing 2023-01-16 16:21:12 +01:00
0f5e033174 noise 2023-01-16 15:52:46 +01:00