index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
ocaml
/
reg_passing
/
expect
blob: e64f92f28c087c3bf8a2d970655baffe8dcff3db (
plain
)
1
2
3
R1 = 10 R2 = 20 R3 = 10
