search

mit-plv / riscv-coq

RISC-V Specification in Coq
BSD 3-Clause "New" or "Revised" License
109 stars 17 forks source link

Add install target #24

Closed JasonGross closed 5 years ago

JasonGross commented 5 years ago

This makes it easier to do some stuff I need to do with the bedrock target on Coq's CI