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.3.tar.gz
sha512=55c6a2aa84c89b5b4224729ccad23504d906d174d8bab9b5e1ff62dd7e76efef4935978c3ba517870d25700a1e563e2b352bb3fba94936807561840f26af75e8

Description

Tags

logpath:riscv

Published: 16 Oct 2022

Dependencies (3)

  1. coq-record-update >= "0.3.0"
  2. coq-coqutil = "0.0.2"
  3. coq >= "8.15~"

Dev Dependencies

None

Used by (1)

  1. coq-bedrock2-compiler = "0.0.4"

Conflicts

None