/verse-coq

This is the coq variant of verse

Primary LanguageCoqBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Verse

A domain specific language in coq used to write low-level cryptographic primitives.

Configuring and installing

./configure.sh
make

Building with multiple coq-versions

You need opam for building and testing the source code for multiple versions of coq. You need to set the the environment variable $COQ_VER and run the script ./scripts/opam-build.sh. Here is an example.

COQ_VER=8.6 ./scripts/opam-build.sh build  # compile all the coq files
COQ_VER=8.6 ./scripts/opam-build.sh html   # build html documentation

Build Staus