diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/_CoqProject b/_CoqProject index 4a1246cf7..082d9d0d3 100644 --- a/_CoqProject +++ b/_CoqProject @@ -125,12 +125,15 @@ src/Reflection/Named/EstablishLiveness.v src/Reflection/Named/NameUtil.v src/Reflection/Named/RegisterAssign.v src/Reflection/Named/Syntax.v -src/Reflection/Z/Interpretations.v +src/Reflection/Z/Interpretations128.v +src/Reflection/Z/Interpretations64.v src/Reflection/Z/InterpretationsGen.v src/Reflection/Z/Reify.v src/Reflection/Z/Syntax.v -src/Reflection/Z/Interpretations/Relations.v -src/Reflection/Z/Interpretations/RelationsCombinations.v +src/Reflection/Z/Interpretations128/Relations.v +src/Reflection/Z/Interpretations128/RelationsCombinations.v +src/Reflection/Z/Interpretations64/Relations.v +src/Reflection/Z/Interpretations64/RelationsCombinations.v src/Spec/CompleteEdwardsCurve.v src/Spec/Ed25519.v src/Spec/EdDSA.v |