diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-04-19 21:00:52 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-04-19 21:00:52 -0400 |
| commit | 544ac151e2e8946d0446ea0bdda27c3886de3979 (patch) | |
| tree | f0c50ff3a9ba04076011441b7d1ab2e589058438 /_CoqProject | |
| parent | 9e0f6e02dcf1c2884a41cfd539cc371bbbf6ae76 (diff) | |
| parent | a75a26ca7f6c66b0d85f79315b9f8d7550cd5066 (diff) | |
Merge branch 'master' of github.mit.edu:plv/fiat-crypto
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 9e1717dd5..b3819871e 100644 --- a/_CoqProject +++ b/_CoqProject @@ -15,8 +15,8 @@ src/ModularArithmetic/ModularBaseSystem.v src/ModularArithmetic/ModularBaseSystemProofs.v src/ModularArithmetic/Pre.v src/ModularArithmetic/PrimeFieldTheorems.v -src/ModularArithmetic/PseudoMersenneBaseParams.v src/ModularArithmetic/PseudoMersenneBaseParamProofs.v +src/ModularArithmetic/PseudoMersenneBaseParams.v src/ModularArithmetic/PseudoMersenneBaseRep.v src/ModularArithmetic/Tutorial.v src/Spec/CompleteEdwardsCurve.v @@ -34,5 +34,6 @@ src/Util/IterAssocOp.v src/Util/ListUtil.v src/Util/NatUtil.v src/Util/NumTheoryUtil.v +src/Util/Tactics.v src/Util/WordUtil.v src/Util/ZUtil.v |