From f29303e5e5ec4908db897c2b48c8644b37712d9b Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Fri, 20 Aug 2021 11:29:52 +0200 Subject: Improve the graph of dependencies of the Echo server --- site/posts/CoqffiEcho.org | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/site/posts/CoqffiEcho.org b/site/posts/CoqffiEcho.org index 81ae0e9..b9c531e 100644 --- a/site/posts/CoqffiEcho.org +++ b/site/posts/CoqffiEcho.org @@ -73,23 +73,23 @@ digraph dependencies { node [shape=box]; subgraph { rank=same; - FFI [label="(coq.theory FFI)"]; - ffi [label="(library ffi)"]; + FFI [label="Socket.v" style="dashed"]; + ffi [label="socket.mli"]; } subgraph { - Echo [label="(coq.theory Echo)"]; + Echo [label="Echo.v"]; } subgraph { rank=same; - echo_v [label="(coq.extraction echo)"]; - echo_ml [label="(executable echo)"]; + echo_v [label="main.v"]; + echo_ml [label="main.ml" style="dashed"]; } - ffi -> FFI [style="dotted" label="generated by coqffi"]; - echo_ml -> echo_v [dir=back style="dotted" label="generated by Coq"]; - echo_v -> Echo -> FFI; - echo_ml -> ffi; + ffi -> FFI [style="dashed" label="coqffi "]; + echo_ml -> echo_v [dir=back style="dashed" label="coqc "]; + FFI -> Echo -> echo_v; + ffi -> echo_ml; } #+END_SRC -- cgit v1.2.3