marniedunsmore

Install issue: "Building the tests requires a recent version of riscv-none-embed-gcc in path"

4

I must not have "riscv-none-embed-gcc" in my install path, because when I ran ./install.sh, the make got to "make[1]: riscv-none-embed-gcc: Command not found" A more explicit description about where riscv-none-embed-gcc...

RISC-V Formal Comparison (Review of Marnie Dunsmore)

2

[RISC-V Formal Comparison.pdf](https://github.com/riscv/ISA_Formal_Spec_Public_Review/files/3158342/RISC-V.Formal.Comparison.pdf)