diff options
author | Bill Traynor <wmat@riscv.org> | 2023-01-26 08:20:09 -0500 |
---|---|---|
committer | Bill Traynor <wmat@riscv.org> | 2023-01-26 08:20:09 -0500 |
commit | a8b4ea7dddc4d2b239dfcc4e6354f28399d7fd98 (patch) | |
tree | ef78e86998f16a5f6c0524f3535ea9bb1333694d /src | |
parent | 88364ed86a0baaefae08f0b4823e7d8cd7380794 (diff) | |
download | riscv-isa-manual-a8b4ea7dddc4d2b239dfcc4e6354f28399d7fd98.zip riscv-isa-manual-a8b4ea7dddc4d2b239dfcc4e6354f28399d7fd98.tar.gz riscv-isa-manual-a8b4ea7dddc4d2b239dfcc4e6354f28399d7fd98.tar.bz2 |
Back to txt litmus test.
Graphviz in .dot format doesn't parse so moving back
to txt format.
Diffstat (limited to 'src')
-rw-r--r-- | src/mm-eplan.adoc | 41 |
1 files changed, 1 insertions, 40 deletions
diff --git a/src/mm-eplan.adoc b/src/mm-eplan.adoc index 6d9454e..1fd1995 100644 --- a/src/mm-eplan.adoc +++ b/src/mm-eplan.adoc @@ -91,46 +91,7 @@ particular valid or invalid execution on the right. !=== | !=== -//a! graphviz::images/graphviz/litmus_sample.adoc[] -! -[graphivz] -.... -digraph G { - -splines=spline; -pad="0.000000"; - - -/* the unlocked events */ -eiid0 [label="a: Wx=1", shape="none", fontsize=8, pos="1.000000,2.109375!", fixedsize="false", height="0.111111", width="0.555556"]; -eiid1 [label="b: Wx=2", shape="none", fontsize=8, pos="1.000000,1.546875!", fixedsize="false", height="0.111111", width="0.555556"]; -eiid2 [label="c: Rx=1", shape="none", fontsize=8, pos="1.000000,0.984375!", fixedsize="false", height="0.111111", width="0.555556"]; -eiid3 [label="d: Wx=3", shape="none", fontsize=8, pos="1.000000,0.421875!", fixedsize="false", height="0.111111", width="0.555556"]; -eiid4 [label="e: Wx=4", shape="none", fontsize=8, pos="1.850000,1.687500!", fixedsize="false", height="0.111111", width="0.555556"]; -eiiid6 [label="", shape=none, width=0.05, height=0.1, pos="1.0,1.85!";] -eiid5 [label="f: Wx=5", shape="none", fontsize=8, pos="1.850000,1.125000!", fixedsize="false", height="0.111111", width="0.555556"]; - -/* the intra_causality_data edges */ - - -/* the intra_causality_control edges */ - -/* the poi edges */ -/* the rfmap edges */ - - -/* The viewed-before edges */ -eiid0 -> eiid1 [label=<<font color="blue">co</font>>, color="blue", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiid0 -> eiid2 [label=<<font color="red">rf</font>>, color="red", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiid1 -> eiid0 [label=<<font color="blue">co</font>>, color="blue", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiid1 -> eiid3 [label=<<font color="blue">co</font>>, color="blue", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiid2 -> eiid0 [label=<<font color="#ffa040">fr</font>>, color="#ffa040", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiid2 -> eiid1 [label=<<font color="#ffa040">fr</font>>, color="#ffa040", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiid2 -> eiid3 [label=<<font color="#ffa040">fr</font>>, color="#ffa040", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiiid6 [label="", shape=none, width=0.05, height=0.1, pos="1.0,1.85!";] -eiid4 -> eiid5 [label=<<font color="blue">co</font>>, color="blue", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -} -.... +a! graphviz::images/graphviz/litmus_sample.txt[] !=== |=== |