diff options
Diffstat (limited to 'src/SpecificGen/GF25519_64Reflective/Reified.v')
| -rw-r--r-- | src/SpecificGen/GF25519_64Reflective/Reified.v | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/SpecificGen/GF25519_64Reflective/Reified.v b/src/SpecificGen/GF25519_64Reflective/Reified.v deleted file mode 100644 index a5236884e..000000000 --- a/src/SpecificGen/GF25519_64Reflective/Reified.v +++ /dev/null @@ -1,13 +0,0 @@ -(** We split the reification up into separate files, one operation per - file, so that it can run in parallel. *) -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.Add. -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.CarryAdd. -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.Sub. -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.CarrySub. -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.Mul. -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.Opp. -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.CarryOpp. -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.PreFreeze. -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.GeModulus. -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.Pack. -Require Export Crypto.SpecificGen.GF25519_64Reflective.Reified.Unpack. |