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
/
ww_mo.dot
1
digraph ww_mo {
2
margin=0
3
4
N1 [label="A: v.store(1)", shape=none];
5
N2 [label="B: v.store(2)", shape=none];
6
7
N1 -> N2 [label="hb", color=blue];
8
N1 -> N2 [color=invis, constraint=false];
9
}