diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index a041542cf..1475ca1d9 100644 --- a/_CoqProject +++ b/_CoqProject @@ -261,6 +261,10 @@ src/Specific/NISTP256/AMD64/fesubDisplay.v src/Specific/NISTP256/FancyMachine256/Barrett.v src/Specific/NISTP256/FancyMachine256/Core.v src/Specific/NISTP256/FancyMachine256/Montgomery.v +src/Specific/X25519/C32/femul.v +src/Specific/X25519/C32/femulDisplay.v +src/Specific/X25519/C32/fesquare.v +src/Specific/X25519/C32/fesquareDisplay.v src/Specific/X25519/C64/femul.v src/Specific/X25519/C64/femulDisplay.v src/Specific/X25519/C64/fesquare.v |