Skip to content

RISC-V Coq v0.0.3

Pre-release
Pre-release
Compare
Choose a tag to compare
@JasonGross JasonGross released this 14 Oct 07:44
· 19 commits to master since this release
v0.0.3
5a084e4

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

Assets 2
Loading