Skip to content

Releases: theorem-labs/rocq-linux-process-semantics

Release list

v0.0.1

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.

Loading