Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
sail-riscv-rv32
package
sail-riscv
Description
Formal specification of the RISC-V architecture, written in Sail.
Metadata
Install
Version
0.5
License
BSD-2-Clause
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/applications/virtualization/sail-riscv/default.nix:62
Homepage
https://github.com/riscv/sail-riscv
Maintainers
1
(1)
GenericNerdyUsername
Executables
1
(1)
bin/riscv_sim_RV32