diff options
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 9e426282f..cdccf354e 100644 --- a/_CoqProject +++ b/_CoqProject @@ -260,8 +260,10 @@ src/Experiments/NewPipeline/Toplevel2.v src/Experiments/NewPipeline/UnderLets.v src/Experiments/NewPipeline/ExtractionHaskell/saturated_solinas.v src/Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas.v +src/Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery.v src/Experiments/NewPipeline/ExtractionOCaml/saturated_solinas.v src/Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas.v +src/Experiments/NewPipeline/ExtractionOCaml/word_by_word_montgomery.v src/LegacyArithmetic/ArchitectureToZLike.v src/LegacyArithmetic/ArchitectureToZLikeProofs.v src/LegacyArithmetic/BarretReduction.v |