diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 897d82a6c..ae4bea90f 100644 --- a/_CoqProject +++ b/_CoqProject @@ -63,6 +63,13 @@ src/ModularArithmetic/BarrettReduction/ZHandbook.v src/ModularArithmetic/Montgomery/Z.v src/ModularArithmetic/Montgomery/ZBounded.v src/ModularArithmetic/Montgomery/ZProofs.v +src/Reflection/InputSyntax.v +src/Reflection/InterpProofs.v +src/Reflection/Linearize.v +src/Reflection/ReifyDirect.v +src/Reflection/ReifyExact.v +src/Reflection/Syntax.v +src/Reflection/TestCase.v src/Spec/CompleteEdwardsCurve.v src/Spec/EdDSA.v src/Spec/Encoding.v |