diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-13 17:00:44 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-13 17:00:44 -0500 |
| commit | 646a21fc7271316880edc4e627923e7bdd93065b (patch) | |
| tree | e4c4ba26f442f5e705a90c7325e1d622845344e1 /src/SpecificGen/GF41417_32Reflective/Reified.v | |
| parent | 3d3b942308e09a678641005eabdc2f3761f0edae (diff) | |
Add SpecificGen/GF*
For bounds analysis
Diffstat (limited to 'src/SpecificGen/GF41417_32Reflective/Reified.v')
| -rw-r--r-- | src/SpecificGen/GF41417_32Reflective/Reified.v | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/SpecificGen/GF41417_32Reflective/Reified.v b/src/SpecificGen/GF41417_32Reflective/Reified.v new file mode 100644 index 000000000..ad8291b55 --- /dev/null +++ b/src/SpecificGen/GF41417_32Reflective/Reified.v @@ -0,0 +1,13 @@ +(** We split the reification up into separate files, one operation per + file, so that it can run in parallel. *) +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.Add. +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.CarryAdd. +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.Sub. +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.CarrySub. +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.Mul. +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.Opp. +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.CarryOpp. +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.PreFreeze. +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.GeModulus. +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.Pack. +Require Export Crypto.SpecificGen.GF41417_32Reflective.Reified.Unpack. |