v0.0.5

Merge pull request #35 from JasonGross/patch-1

Add `install-all`, `install-spec` targets

v0.0.4

print register names like t0, t1, a0, s0, etc instead of x0, x1, etc

RISC-V Coq v0.0.3

A pre-release tag for use with Fiat Cryptography v0.0.16 and a non-dev opam package.

Among other things, we now have an instruction bounds verifier returning bool instead of Prop

Full Changelog: v0.0.2...v0.0.3

RISC-V Coq v0.0.2

A pre-release tag for use with Fiat Cryptography v0.0.15 and a non-dev opam package.

What's Changed

• Support EXTERNAL_COQUTIL=1 by @JasonGross in #29
• Adapt w.r.t. coq/coq#16004 by @Alizter in #30

New Contributors

• @Alizter made their first contribution in #30

Full Changelog: v0.0.1...v0.0.2

RISC-V Coq v0.0.1

A pre-release tag for use with Fiat Cryptography v0.0.12 and a non-dev opam package.