projects
/
cdsspec-compiler.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
changes
[cdsspec-compiler.git]
/
correctness-model
/
writeup
/
figures
/
wr_mo.dot
1
digraph wr_mo {
2
margin=0;
3
ranksep=.3;
4
5
N1 [label="X: v.store(2)", shape=none];
6
N2 [label="A: v.store(1)", shape=none];
7
N3 [label="B: v.load()", shape=none];
8
9
N2 -> N3 [label="hb", color=blue];
10
N1 -> N3 [label="rf", color=red];
11
N2 -> N1 [color=invis, constraint=false];
12
{rank=same; N1 N3}
13
}