 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
|
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
|
557a36756f
|
First step of cleanup of protocols
|
2023-02-04 13:46:34 +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
|
4c03646567
|
HTTP
|
2022-12-13 18:08:34 +13:00 |
|
Tony Garnock-Jones
|
ca92d99c52
|
Remove notion of "system-layer-service" from core protocols
|
2022-02-04 14:26:50 +01:00 |
|
Tony Garnock-Jones
|
19c96bdef2
|
Allow userDefined states
|
2022-02-03 22:55:06 +01:00 |
|
Tony Garnock-Jones
|
ab34b62cf1
|
Refine the trace protocol a bit
|
2022-01-20 09:40:53 +01:00 |
|
Tony Garnock-Jones
|
5a65256cf3
|
Syndicate traces
|
2022-01-19 14:24:21 +01:00 |
|
Tony Garnock-Jones
|
257c604e2b
|
Repair bad record pattern
|
2022-01-17 00:22:10 +01:00 |
|
Tony Garnock-Jones
|
a06d532006
|
Extension point. Closes #2
|
2022-01-16 21:17:36 +01:00 |
|
Tony Garnock-Jones
|
e04b898c7f
|
Adjustments to service.prs
|
2022-01-07 15:29:20 +01:00 |