index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
ocaml
/
string_equality
/
test.isail
blob: b3eb5d41af178ea169d2525420bee15bb5ebc9fa (
plain
)
1
2
3
4
5
6
initialize_registers() :run :output result main() :run :quit
