marniedunsmore

Results 3 comments of marniedunsmore

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

OK, I ran ./install_riscv_gctimc.sh and . setup.sh. Install got further this time. It it no longer warning about 'riscv-none-embed-gcc.' . But now is stuck at make on the directory '/home/ubuntu/Formal/riscv-semantics-master/softfloat-hs'...

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

Yes. The recursion seems to fail for update when it hits the softfloat-hs directory. The riscv-semantics-master/softfloat-hs directory is empty. Actually, I had this problem when I was trying to install...

RISC-V Formal Comparison (Review of Marnie Dunsmore)

You're welcome, Ben.