diff options
| author |  varomodt <varomodt@localhost.localdomain> | 2016-01-09 13:43:53 -0500 |
|---|---|---|
| committer | varomodt <varomodt@localhost.localdomain> | 2016-01-09 13:43:53 -0500 |
| commit | f5127ba5bb5c1b932b51f9b3d43a18aa566a6d26 (patch) | |
| tree | 44938bc996c9604322a84391399743af9993a5c0 /_CoqProject | |
| parent | bb4c8e7d281279eb9aeb44c5d0de5be1d022028c (diff) | |
simple refactor of makefile; comments
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/_CoqProject b/_CoqProject deleted file mode 100644 index a99d9a3f7..000000000 --- a/_CoqProject +++ /dev/null @@ -1,22 +0,0 @@ --R src Crypto --R fiat/src Fiat --R bedrock/Bedrock Bedrock -src/Tactics/VerdiTactics.v -src/Util/CaseUtil.v -src/Util/ListUtil.v -src/Util/NatUtil.v -src/Util/ZUtil.v -src/Util/NumTheoryUtil.v -src/Galois/Galois.v -src/Galois/GaloisTheory.v -src/Galois/ZGaloisField.v -src/Galois/GaloisExamples.v -src/Galois/AbstractGaloisField.v -src/Galois/ComputationalGaloisField.v -src/Galois/BaseSystem.v -src/Galois/ModularBaseSystem.v -src/Curves/PointFormats.v -src/Galois/EdDSA.v -src/Assembly/WordBounds.v -src/Curves/Curve25519.v -src/Specific/GF25519.v |