Tony Garnock-Jones
ca92d99c52
Remove notion of "system-layer-service" from core protocols
3 months ago
Tony Garnock-Jones
19c96bdef2
Allow userDefined states
3 months ago
Tony Garnock-Jones
ab34b62cf1
Refine the trace protocol a bit
4 months ago
Tony Garnock-Jones
5a65256cf3
Syndicate traces
4 months ago
Tony Garnock-Jones
257c604e2b
Repair bad record pattern
4 months ago
Tony Garnock-Jones
a06d532006
Extension point. Closes #2
4 months ago
Tony Garnock-Jones
e04b898c7f
Adjustments to service.prs
4 months ago
Tony Garnock-Jones
5f60c22e49
More simplifications, to sturdy this time
5 months ago
Tony Garnock-Jones
49075e7e84
Embedded values count as atoms here
5 months ago
Tony Garnock-Jones
b3e24d819c
Experiment: stricter, simpler dataspacePatterns
5 months ago
Tony Garnock-Jones
b2df99cbc0
New preserves-schemac invocation style
5 months ago
Tony Garnock-Jones
b42230b96a
ServiceObject
7 months ago
Tony Garnock-Jones
239b1b15cc
Repair incorrect definition name
8 months ago
Tony Garnock-Jones
9078267e76
Fix typo
8 months ago
Tony Garnock-Jones
955177b7db
Clarify action of `core-service`
8 months ago
Tony Garnock-Jones
b4b4995d84
Oops - wanted literals, but had refs instead
8 months ago
Tony Garnock-Jones
422904010b
Refine approach to services
8 months ago
Tony Garnock-Jones
6cfd97c91a
Remove protocol variant complication (experimental)
8 months ago
Tony Garnock-Jones
770fb79882
Develop service model
8 months ago
Tony Garnock-Jones
0ff8c2c872
Stdio transport
9 months ago
Tony Garnock-Jones
c2de82a2b7
schemas/transportAddress.prs
9 months ago
Tony Garnock-Jones
9445a71b53
Use correct latest version of preserves-schemac
9 months ago
Tony Garnock-Jones
8cd601a777
Remove name field from DBind
9 months ago
Tony Garnock-Jones
0b2c7ecfe1
Rename RefAny -> Cap
10 months ago
Tony Garnock-Jones
be6b30bba6
Switch Ref -> RefAny
10 months ago
Tony Garnock-Jones
993cf78a38
DeBruijn-like binding in patterns
10 months ago
Tony Garnock-Jones
f7c6e7d164
Specify embedded type for sturdy.prs
11 months ago
Tony Garnock-Jones
e7ddfdf311
EntityRef.Ref in dataspacePatterns
11 months ago
Tony Garnock-Jones
dab79020f4
Variations on protocol for internal and external use
11 months ago
Tony Garnock-Jones
a6639b5380
Error packets
11 months ago
Tony Garnock-Jones
06e922c511
Compiled schema bundle
11 months ago
Tony Garnock-Jones
93c196acaa
Move schemas into subdirectory after subtree split
11 months ago
Tony Garnock-Jones
e034486aaa
Update schemas to match new identifier restrictions.
11 months ago
Tony Garnock-Jones
824b078eac
Simpler stream connection protocol.
11 months ago
Tony Garnock-Jones
cf93327ed6
Services and service activation
11 months ago
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
11 months ago
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!
11 months ago
Tony Garnock-Jones
a73b6a9f4a
Whole-packet flow credit
11 months ago
Tony Garnock-Jones
f6cb595709
Add ConnectionPeer assertions; rename TcpOutbound -> TcpRemote and TcpInbound -> TcpLocal
11 months ago
Tony Garnock-Jones
afe36c630d
Refactor/repair tcp.prs and tcp.rkt
11 months ago
Tony Garnock-Jones
5850c5b06d
Credit-based flow control on tcp driver; line mode
11 months ago
Tony Garnock-Jones
b0d0eb3a11
drivers/racket-event.rkt
11 months ago
Tony Garnock-Jones
21d09f81e5
ActiveSocket-close now gets a string, not an embedded exn
11 months ago
Tony Garnock-Jones
8b5e74048e
Beginnings of a TCP driver
11 months ago
Tony Garnock-Jones
201f5433e1
Port timer driver from older syndicate/rkt implementation
11 months ago
Tony Garnock-Jones
8cbe2475e3
TAttenuate
11 months ago
Tony Garnock-Jones
930f7eda00
Move box-protocol to a #lang preserves-schema module
12 months ago
Tony Garnock-Jones
a932fa1428
Pattern decomposition
12 months ago
Tony Garnock-Jones
3412eabcff
Update schemas for new embedded syntax; steps toward pattern support
12 months ago
Tony Garnock-Jones
e47a37e3f0
First steps to an actual novy implementation
12 months ago