diff options
author | Thomas Letan <lthms@soap.coffee> | 2021-08-20 11:29:52 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2021-08-20 11:29:52 +0200 |
commit | f29303e5e5ec4908db897c2b48c8644b37712d9b (patch) | |
tree | 362840a1f6e848959f16154c16231c32665ccdf0 | |
parent | The repository has moved (diff) |
Improve the graph of dependencies of the Echo server
-rw-r--r-- | site/posts/CoqffiEcho.org | 18 |
1 files 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 |