index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sailcov
/
Makefile
blob: bc9e39d820c4dc204ae1737b5ef0f9f88e36f002 (
plain
)
1
2
3
4
sailcov
:
*.
ml
dune
dune
build
main.exe
cp
-f
_build/default/main.exe
sailcov
