package coq-riscv

  1. Overview
  2. No Docs
RISC-V Specification in Coq, somewhat experimental

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. M
    Massachusetts Institute of Technology

Maintainers

  1. J
    Jason Gross <jgross@mit.edu>

Sources

v0.0.4.tar.gz
sha512=466fc8ef9fa8e998f4362bf30dd5bb03a13454672a3acd4bbfc567d059a6f2c1109a7131b98b3539340dcf78184dca6f3d8a6d3c51c71a394d2120686667a9af

Description

Tags

logpath:riscv

Published: 03 Apr 2023

Dependencies (3)

  1. coq-record-update >= "0.3.0"
  2. coq-coqutil >= "0.0.3" & <= "0.0.4"
  3. coq >= "8.15~"

Dev Dependencies

None

Used by (2)

  1. coq-bedrock2-compiler >= "0.0.5" & < "0.0.7"
  2. coq-kami

Conflicts

None