Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update
Browse files Browse the repository at this point in the history
cmester0 committed Jan 6, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 085f5ad commit 13e315c
Showing 4 changed files with 1,931 additions and 2 deletions.
3 changes: 1 addition & 2 deletions proof-libs/coq/coq/README.md
Original file line number Diff line number Diff line change
@@ -16,7 +16,6 @@ opam install coq-compcert coq-coqprime

## Compiling the coq files

In folder `/coq`, type `make`. This compiles the coq libraries and the compiled examples, as defined in `_CoqProject`.
This requires the coq compiler to be installed (only tested on coq 8.13.1)
In folder `/coq`, type `make`. This compiles the coq libraries and the compiled examples, as defined in `_CoqProject`. This requires the coq compiler to be installed.

If you want to add a new example to `_CoqProject`, such that it is compiled through `make`, you should run `coq_makefile -f _CoqProject -o Makefile` in `/coq` to update the makefile.
1 change: 1 addition & 0 deletions proof-libs/coq/coq/_CoqProject
Original file line number Diff line number Diff line change
@@ -4,4 +4,5 @@

src/MachineIntegers.v
src/Hacspec_Lib.v
src/Hacspec_lib.v
src/QuickChickLib.v
Loading

0 comments on commit 13e315c

Please sign in to comment.