diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-06-29 21:32:04 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-06-29 21:32:04 -0400 |
| commit | 2876f7c688590a64189f47b439f7edf26c91c5de (patch) | |
| tree | fffe55bc24e83105fca356a81a352e1fa4309999 /_CoqProject | |
| parent | b291707642db5986240b3e9eb9a80839d81ffe42 (diff) | |
Reorganization of saturated arithmetic
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 6544b8dbe..d46c94a1f 100644 --- a/_CoqProject +++ b/_CoqProject @@ -18,7 +18,13 @@ src/Arithmetic/Karatsuba.v src/Arithmetic/ModularArithmeticPre.v src/Arithmetic/ModularArithmeticTheorems.v src/Arithmetic/PrimeFieldTheorems.v -src/Arithmetic/Saturated.v +src/Arithmetic/Saturated/AddSub.v +src/Arithmetic/Saturated/Core.v +src/Arithmetic/Saturated/Freeze.v +src/Arithmetic/Saturated/MontgomeryAPI.v +src/Arithmetic/Saturated/MulSplit.v +src/Arithmetic/Saturated/UniformWeight.v +src/Arithmetic/Saturated/Wrappers.v src/Arithmetic/BarrettReduction/Generalized.v src/Arithmetic/BarrettReduction/HAC.v src/Arithmetic/BarrettReduction/Wikipedia.v |