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
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
Tony Garnock-Jones
5f60c22e49
More simplifications, to sturdy this time
2021-12-13 15:43:01 +01:00
Tony Garnock-Jones
49075e7e84
Embedded values count as atoms here
2021-12-13 14:22:32 +01:00
Tony Garnock-Jones
b3e24d819c
Experiment: stricter, simpler dataspacePatterns
2021-12-13 13:49:58 +01:00
Tony Garnock-Jones
b2df99cbc0
New preserves-schemac invocation style
2021-12-13 13:44:02 +01:00
Tony Garnock-Jones
b42230b96a
ServiceObject
2021-10-06 21:51:08 +02:00
Tony Garnock-Jones
239b1b15cc
Repair incorrect definition name
2021-09-27 13:57:12 +02:00
Tony Garnock-Jones
9078267e76
Fix typo
2021-09-27 13:56:12 +02:00
Tony Garnock-Jones
955177b7db
Clarify action of `core-service`
2021-09-27 13:53:54 +02:00
Tony Garnock-Jones
b4b4995d84
Oops - wanted literals, but had refs instead
2021-09-27 13:50:29 +02:00
Tony Garnock-Jones
422904010b
Refine approach to services
2021-09-27 13:48:26 +02:00
Tony Garnock-Jones
6cfd97c91a
Remove protocol variant complication (experimental)
2021-09-24 12:57:05 +02:00
Tony Garnock-Jones
770fb79882
Develop service model
2021-09-24 12:56:30 +02:00
Tony Garnock-Jones
0ff8c2c872
Stdio transport
2021-08-19 18:17:51 -04:00
Tony Garnock-Jones
c2de82a2b7
schemas/transportAddress.prs
2021-08-18 22:59:59 -04:00
Tony Garnock-Jones
9445a71b53
Use correct latest version of preserves-schemac
2021-08-11 16:05:36 -04:00
Tony Garnock-Jones
8cd601a777
Remove name field from DBind
2021-08-11 15:43:29 -04:00
Tony Garnock-Jones
0b2c7ecfe1
Rename RefAny -> Cap
2021-07-22 14:12:53 +02:00
Tony Garnock-Jones
be6b30bba6
Switch Ref -> RefAny
2021-07-22 13:43:14 +02:00
Tony Garnock-Jones
993cf78a38
DeBruijn-like binding in patterns
2021-07-12 21:10:19 +02:00
Tony Garnock-Jones
f7c6e7d164
Specify embedded type for sturdy.prs
2021-07-03 09:00:58 +02:00
Tony Garnock-Jones
e7ddfdf311
EntityRef.Ref in dataspacePatterns
2021-07-02 16:51:21 +02:00
Tony Garnock-Jones
dab79020f4
Variations on protocol for internal and external use
2021-07-02 16:48:15 +02:00
Tony Garnock-Jones
a6639b5380
Error packets
2021-07-02 10:11:53 +02:00
Tony Garnock-Jones
06e922c511
Compiled schema bundle
2021-07-01 10:04:26 +02:00
Tony Garnock-Jones
93c196acaa
Move schemas into subdirectory after subtree split
2021-07-01 09:51:53 +02:00
Tony Garnock-Jones
e034486aaa
Update schemas to match new identifier restrictions.
2021-06-25 09:45:38 +02:00
Tony Garnock-Jones
824b078eac
Simpler stream connection protocol.
2021-06-18 13:48:12 +02:00
Tony Garnock-Jones
cf93327ed6
Services and service activation
2021-06-17 14:57:06 +02:00
Tony Garnock-Jones
6cfe8c2ba4
`when` -> `on`; StreamConnection API; better `this-target`; tcp-listen errors
...
- spec-generic StreamConnection translators, for simple TCP API
- `when` -> `on`, better use for event-expanders
- Removal of special processing of `at`, making `this-target` properly lexically scopeable
- TcpListenError and handling of tcp-listen errors
- SYNDICATE_COLUMNS for pretty-printing of dataspace traces
- Repair driver-support.rkt thread shutdown turn-taking
- Refinements to stream protocols and implementation
- Improvements to syntax location preservation in syntax.rkt
2021-06-17 13:38:30 +02:00
Tony Garnock-Jones
b6bc816daf
Split out experimental "stream" protocols; make tcp.rkt use them; more inertness checks
...
Also, a few other important changes:
- Better printing of entity-ref structs
- Inertness checks on assertion retraction (!) and preventer-disarm
- Correct selection of active facet during dataflow recomputations
- Repair silly omission in turn-assert/dataflow!
2021-06-16 21:44:07 +02:00
Tony Garnock-Jones
a73b6a9f4a
Whole-packet flow credit
2021-06-15 12:46:09 +02:00
Tony Garnock-Jones
f6cb595709
Add ConnectionPeer assertions; rename TcpOutbound -> TcpRemote and TcpInbound -> TcpLocal
2021-06-15 12:37:14 +02:00
Tony Garnock-Jones
afe36c630d
Refactor/repair tcp.prs and tcp.rkt
2021-06-11 15:29:12 +02:00