diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-15 19:36:25 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-15 21:25:38 -0400 |
| commit | ff7eaca6315e53e4eae2b75086018a0b5ef70dd6 (patch) | |
| tree | c665da39b6c90ef5790c023bdec4145ee9e1c548 /_CoqProject | |
| parent | 32107e1115481c124cb966c1df6bf3d2c29013cc (diff) | |
Add faster arithmetic unfolding
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index ae1b10f11..4543997ba 100644 --- a/_CoqProject +++ b/_CoqProject @@ -14,6 +14,7 @@ src/Algebra/Nsatz.v src/Algebra/Ring.v src/Algebra/ScalarMult.v src/Arithmetic/Core.v +src/Arithmetic/CoreUnfolder.v src/Arithmetic/Karatsuba.v src/Arithmetic/ModularArithmeticPre.v src/Arithmetic/ModularArithmeticTheorems.v @@ -31,12 +32,15 @@ src/Arithmetic/MontgomeryReduction/WordByWord/Abstract/Dependent/Definition.v src/Arithmetic/MontgomeryReduction/WordByWord/Abstract/Dependent/Proofs.v src/Arithmetic/Saturated/AddSub.v src/Arithmetic/Saturated/Core.v +src/Arithmetic/Saturated/CoreUnfolder.v src/Arithmetic/Saturated/Freeze.v +src/Arithmetic/Saturated/FreezeUnfolder.v src/Arithmetic/Saturated/MontgomeryAPI.v src/Arithmetic/Saturated/MulSplit.v src/Arithmetic/Saturated/UniformWeight.v src/Arithmetic/Saturated/UniformWeightInstances.v src/Arithmetic/Saturated/Wrappers.v +src/Arithmetic/Saturated/WrappersUnfolder.v src/Compilers/CommonSubexpressionElimination.v src/Compilers/CommonSubexpressionEliminationDenote.v src/Compilers/CommonSubexpressionEliminationInterp.v |