Easy Bake CakeML - CakeML Extraction Plugin

An extraction plugin for CakeML that does not require any semantic preservation proofs.

Meta

• Author(s):
  • TJ Barclay
  • Will Thomas
• License: Creative Commons Attribution Share Alike 4.0 International
• Compatible OCaml versions: 4.13 or later
• Additional dependencies:
  • Dune 3.17 or later
• Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of Easy Bake CakeML - CakeML Extraction Plugin is via OPAM:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install rocq-EasyBakeCakeML

To instead build and install manually, do:

git clone https://github.com/Durbatuluk1701/EasyBakeCakeML.git
cd EasyBakeCakeML
dune build
dune install