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