Skip to content

v0.0.1

Pre-release
Pre-release

Choose a tag to compare

View all tags
@JasonGross JasonGross released this 23 Oct 22:05
v0.0.1
eef1659

First release of rocq-linux-process-semantics, a Rocq model of a Linux process that runs a RISC-V binary.

The release has four opam packages:

  • rocq-linux-process-semantics-core: the model and the statements.
  • rocq-linux-process-semantics-common: the proof library.
  • rocq-linux-process-semantics-examples: the example proofs.
  • rocq-linux-process-semantics: installs the three packages above.

It needs Rocq 9.2 or later. CI tests Rocq 9.2, 9.3 and dev.

Assets 2
Loading