From f85e2ec68aa51d6fb8c5a8dfa77e94a3c8d76ac3 Mon Sep 17 00:00:00 2001 From: Brian Warner Date: Sat, 24 Dec 2016 13:17:48 -0500 Subject: [PATCH] more --- docs/w.dot | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/w.dot b/docs/w.dot index 4534ddd..00d3cbf 100644 --- a/docs/w.dot +++ b/docs/w.dot @@ -1,4 +1,5 @@ digraph { + /* could shave a RTT by committing to the nameplate early, before finishing the rest of the code input. While the user is still typing/completing the code, we claim the nameplate, open the mailbox, @@ -195,6 +196,7 @@ digraph { */ /* ConnectionMachine */ + /* WCM_S_known -> CM_start [style="invis"] CM_start [label="Connection\nMachine" style="dotted"] CM_start -> CM_S_neither [style="invis"] @@ -205,5 +207,5 @@ digraph { CM_P_bind [shape="box" label="C_send(bind)"] CM_P_bind -> CM_S_bound CM_S_bound [label="bound"] - + */ }