Name		Name	Last commit message	Last commit date
parent directory ..
exe		exe
src/Mir		src/Mir
test		test
.gitignore		.gitignore
DESIGN.md		DESIGN.md
LICENSE		LICENSE
README.md		README.md
crux-mir-comp.cabal		crux-mir-comp.cabal

README.md

crux-mir-comp

This package implements a Crux frontend for crucible-mir-comp.