GitHub repository: Kakadu/llvm_vs_sail
Primary language: OCaml
Description: Compare Sail RISC-V functional specification vs declarative LLVM's one