|
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 |
|