blob: a783188c9b9395d142fc07082d36680760ff0103 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(** We split the reification up into separate files, one operation per
file, so that it can run in parallel. *)
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.Add.
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.CarryAdd.
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.Sub.
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.CarrySub.
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.Mul.
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.Opp.
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.CarryOpp.
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.PreFreeze.
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.GeModulus.
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.Pack.
Require Export Crypto.SpecificGen.GF5211_32Reflective.Reified.Unpack.
|
