Copland Specification

Specification for the Copland DSL for Attestation Protocols

Meta

• Author(s):
  • Adam Petz
  • Will Thomas
  • KU-SLDG Lab
• License: Creative Commons Attribution Share Alike 4.0 International
• Compatible Coq versions: 8.20 later
• Compatible OCaml versions: 4.12 or later
• Additional dependencies:
  • Rocq-Candy
  • Coq-JSON
  • ExtLib
  • Dune 3.17 or later
• Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of Copland Specification is via OPAM:

opam repo add -a --set-default ku-sldg/opam-repo https://github.com/ku-sldg/opam-repo.git
opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-copland-spec

To instead build and install manually, do:

git clone https://github.com/ku-sldg/copland-spec.git
cd copland-spec
dune build
dune install