 Tony Garnock-Jones
|
f4beff6fb9
|
Cope with echo-server minimart-benchmark test: flat new-connection cost
|
2019-06-21 16:43:59 +01:00 |
|
Tony Garnock-Jones
|
257cc5a807
|
Remove out-of-date example expansions
|
2019-06-21 16:43:24 +01:00 |
|
Tony Garnock-Jones
|
fb184e95ff
|
Update HOWITWORKS.md
|
2019-06-18 18:01:40 +01:00 |
Tony Garnock-Jones
|
73a9d9cfd8
|
Note in HOWITWORKS about `opaque-placeholder`.
|
2018-11-20 13:22:44 +00:00 |
|
Tony Garnock-Jones
|
f07fcb9081
|
More notes
|
2018-11-02 12:18:44 +00:00 |
|
Tony Garnock-Jones
|
57d7ec505d
|
Ensure patched assertions are added before being removed, to avoid glitching
|
2018-11-02 00:38:40 +00:00 |
|
Tony Garnock-Jones
|
3fec2d2f57
|
Supply #f as cleanup function in multicast udp-dataspace, instead of void; notes on cleanup functions and visibility-restrictions
|
2018-10-24 13:21:20 +01:00 |
|
Tony Garnock-Jones
|
fe40d6b804
|
Present-to-absent check is necessary in assertion removal handler
|
2018-10-21 13:32:06 +01:00 |
|
Tony Garnock-Jones
|
e9d510d658
|
Tweaks
|
2018-10-21 01:04:05 +01:00 |
|
Tony Garnock-Jones
|
d08a7536f1
|
Minor corrections and tweaks
|
2018-10-21 00:59:38 +01:00 |
|
Tony Garnock-Jones
|
f3152fe1c1
|
Update to explain the "dummy" outermost wrapper constructor
|
2018-10-20 21:54:58 +01:00 |
|
Tony Garnock-Jones
|
d490b26dc2
|
Minor tweak
|
2018-10-20 19:52:37 +01:00 |
|
Tony Garnock-Jones
|
b6063b4d95
|
Remove superfluous update-path helper
|
2018-10-20 19:13:07 +01:00 |
|
Tony Garnock-Jones
|
52cf4c3ae5
|
Fix bug exposed by previous commit
|
2018-10-20 19:09:25 +01:00 |
|
Tony Garnock-Jones
|
4f6ab9bd77
|
Eliminate one set of dummy wrappers
|
2018-10-20 18:27:15 +01:00 |
|
Tony Garnock-Jones
|
c2fdd8a37e
|
Describe how the efficient index structure works
|
2018-10-14 21:25:13 +01:00 |