From 64ca6ea47f3454977fa3f8080c3b6a8d6f23836b Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 28 Feb 2025 16:49:35 -0800 Subject: [PATCH] Update .gitignore --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitignore b/.gitignore index a511b6567e..77ab620b86 100644 --- a/.gitignore +++ b/.gitignore @@ -180,6 +180,7 @@ src/ExtractionHaskell/WithBedrock/saturated_solinas src/ExtractionHaskell/WithBedrock/solinas_reduction src/ExtractionHaskell/WithBedrock/unsaturated_solinas src/ExtractionHaskell/WithBedrock/word_by_word_montgomery +src/ExtractionHaskell/WithBedrock/fiat_crypto src/ExtractionHaskell/**/*.hs src/ExtractionOCaml/WithBedrock/fiat_crypto src/ExtractionOCaml/fiat_crypto @@ -203,6 +204,7 @@ src/ExtractionOCaml/WithBedrock/unsaturated_solinas src/ExtractionOCaml/WithBedrock/solinas_reduction src/ExtractionOCaml/WithBedrock/word_by_word_montgomery src/ExtractionOCaml/WithBedrock/base_conversion +src/ExtractionOCaml/WithBedrock/fiat_crypto src/ExtractionOCaml/perf_unsaturated_solinas src/ExtractionOCaml/perf_word_by_word_montgomery src/ExtractionOCaml/*.ml