Commit graph

17 commits

Author SHA1 Message Date
c55e5924f7 Update commit names 2020-04-27 20:34:09 +02:00
976741cd49 Cope with echo-server minimart-benchmark test: flat new-connection cost 2019-06-21 16:43:59 +01:00
df6918bc6f Remove out-of-date example expansions 2019-06-21 16:43:24 +01:00
c122253681 Update HOWITWORKS.md 2019-06-18 18:01:40 +01:00
Tony Garnock-Jones
636ca9acf7 Note in HOWITWORKS about opaque-placeholder. 2018-11-20 13:22:44 +00:00
Tony Garnock-Jones
9571125f3b More notes 2018-11-02 12:18:44 +00:00
Tony Garnock-Jones
bc4fb5ef94 Ensure patched assertions are added before being removed, to avoid glitching 2018-11-02 00:38:40 +00:00
Tony Garnock-Jones
838bde3740 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
4ddcdfb6a9 Present-to-absent check is necessary in assertion removal handler 2018-10-21 13:32:06 +01:00
Tony Garnock-Jones
02181354dd Tweaks 2018-10-21 01:04:05 +01:00
Tony Garnock-Jones
db563fc309 Minor corrections and tweaks 2018-10-21 00:59:38 +01:00
Tony Garnock-Jones
a178ec5ddf Update to explain the "dummy" outermost wrapper constructor 2018-10-20 21:54:58 +01:00
Tony Garnock-Jones
b511e640bd Minor tweak 2018-10-20 19:52:37 +01:00
Tony Garnock-Jones
cbf5224599 Remove superfluous update-path helper 2018-10-20 19:13:07 +01:00
Tony Garnock-Jones
6e06c4d502 Fix bug exposed by previous commit 2018-10-20 19:09:25 +01:00
Tony Garnock-Jones
8ff6dc5ff8 Eliminate one set of dummy wrappers 2018-10-20 18:27:15 +01:00
Tony Garnock-Jones
0c701809e1 Describe how the efficient index structure works 2018-10-14 21:25:13 +01:00