/uclid-riscv

Architectural models for RISC-V assembly

Primary LanguageC

Archictecture-level models of the RV32 base ISA.

In order to run riscv-tests, you must have riscv64-unknown-elf-objdump installed.