GitHub repository: mit-plv/riscv-semantics
Primary language: Haskell
Created: 2017-09-08T00:25:39Z
Description: A formal semantics of the RISC-V ISA in Haskell