CTSRD-CHERI/sail-cheri-riscv

This is stars and forks stats for /CTSRD-CHERI/sail-cheri-riscv repository. As of 24 Apr, 2024 this repository has 50 stars and 14 forks.

CHERI RISC-V Sail model This repository contains an implementation of the CHERI extensions for the RISCV architecture in sail. It is designed to be used with the sail-riscv model, which is included as a submodule. To checkout / build (assuming you have installed sail): git clone --recurse-submodules https://github.com/CTSRD-CHERI/sail-cheri-riscv cd sail-cheri-riscv You can build either an ocaml or C emulator, or a special binary for use with TestRIG: make ocaml_emulator/cheri_riscv_ocaml_sim_RV64 make...