R

RISC-V

Utilities for dealing with RISC-V instructions in Coq

A Kôika implementation of a pipelined RV32I processor with interrupts and exceptions