diff options
Diffstat (limited to 'src/graphviz/litmus_mp_fenceww_fri_rfi_addr.dot')
-rw-r--r-- | src/graphviz/litmus_mp_fenceww_fri_rfi_addr.dot | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/src/graphviz/litmus_mp_fenceww_fri_rfi_addr.dot b/src/graphviz/litmus_mp_fenceww_fri_rfi_addr.dot deleted file mode 100644 index e56599b..0000000 --- a/src/graphviz/litmus_mp_fenceww_fri_rfi_addr.dot +++ /dev/null @@ -1,32 +0,0 @@ -digraph G { - -splines=spline; -pad="0.000000"; - - -/* the unlocked events */ -eiid0 [label="a: Wx=1", shape="none", fontsize=8, pos="1.000000,1.575000!", fixedsize="false", height="0.111111", width="0.555556"]; -eiid1 [label="c: Wy=1", shape="none", fontsize=8, pos="1.000000,1.050000!", fixedsize="false", height="0.111111", width="0.555556"]; -eiid2 [label="d: Ry=1", shape="none", fontsize=8, pos="2.500000,1.575000!", fixedsize="false", height="0.111111", width="0.555556"]; -eiid3 [label="e: Wy=2", shape="none", fontsize=8, pos="2.500000,1.050000!", fixedsize="false", height="0.111111", width="0.555556"]; -eiid4 [label="f: Ry=2", shape="none", fontsize=8, pos="2.500000,0.525000!", fixedsize="false", height="0.111111", width="0.555556"]; -eiid5 [label="i: Rx=0", shape="none", fontsize=8, pos="2.500000,0.000000!", 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="darkgreen">fence</font><font color="indigo">ppo</font>>, color="darkgreen:indigo", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiid1 -> eiid2 [label=<<font color="red">rf</font>>, color="red", 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 -> eiid3 [label=<<font color="#ffa040">fr</font><font color="indigo">ppo</font>>, color="#ffa040:indigo", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiid3 -> eiid4 [label=<<font color="red">rf</font>>, color="red", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiid4 -> eiid5 [label=<<font color="indigo">addr</font><font color="indigo">ppo</font>>, color="indigo", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -eiid5 -> eiid0 [label=<<font color="#ffa040">fr</font>>, color="#ffa040", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; -} |