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.5.tar.gz
sha512=f5c7e0aec4401ff523a2abc36bde9e5db238cf8cae33b78e594faebf6fafdd06e914950cc4df38f12ad278c37242c75d4d7cc36d4bf218a3f0e24911bb3eeb64

Description

Tags

logpath:riscv

Published: 20 Mar 2024

Dependencies (3)

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

Dev Dependencies

None

Used by (1)

  1. coq-bedrock2-compiler >= "0.0.7"

Conflicts

None