diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-02-15 16:01:11 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-02-15 16:01:11 -0500 |
| commit | efe4ef7c8459fb6ae750cffd5999833dc0ff098f (patch) | |
| tree | 88765ed90b1debde4976f4b2d75e9a5ed1511936 /_CoqProject | |
| parent | 5bddc2b336b16ec64c0900260889228856407df3 (diff) | |
Add rudimentary Java and C notation files, display
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 81613d8aa..db28e36c1 100644 --- a/_CoqProject +++ b/_CoqProject @@ -153,10 +153,12 @@ src/Reflection/Named/NameUtil.v src/Reflection/Named/RegisterAssign.v src/Reflection/Named/Syntax.v src/Reflection/Z/BinaryNotationConstants.v +src/Reflection/Z/CNotations.v src/Reflection/Z/HexNotationConstants.v src/Reflection/Z/Interpretations128.v src/Reflection/Z/Interpretations64.v src/Reflection/Z/InterpretationsGen.v +src/Reflection/Z/JavaNotations.v src/Reflection/Z/OpInversion.v src/Reflection/Z/Reify.v src/Reflection/Z/Syntax.v @@ -197,12 +199,18 @@ src/Specific/GF25519Reflective/CommonUnOpWireToFE.v src/Specific/GF25519Reflective/Reified.v src/Specific/GF25519Reflective/Reified/Add.v src/Specific/GF25519Reflective/Reified/AddCoordinates.v +src/Specific/GF25519Reflective/Reified/AddDisplay.v +src/Specific/GF25519Reflective/Reified/AddJavaDisplay.v src/Specific/GF25519Reflective/Reified/CarryAdd.v src/Specific/GF25519Reflective/Reified/CarryOpp.v src/Specific/GF25519Reflective/Reified/CarrySub.v src/Specific/GF25519Reflective/Reified/GeModulus.v src/Specific/GF25519Reflective/Reified/LadderStep.v +src/Specific/GF25519Reflective/Reified/LadderStepDisplay.v +src/Specific/GF25519Reflective/Reified/LadderStepJavaDisplay.v src/Specific/GF25519Reflective/Reified/Mul.v +src/Specific/GF25519Reflective/Reified/MulDisplay.v +src/Specific/GF25519Reflective/Reified/MulJavaDisplay.v src/Specific/GF25519Reflective/Reified/Opp.v src/Specific/GF25519Reflective/Reified/Pack.v src/Specific/GF25519Reflective/Reified/PreFreeze.v |