From 463c9af25c2b4878ff14dd4291d70992be1fa77c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 15 Nov 2023 23:00:33 -0800 Subject: [PATCH] Update .gitignore --- .gitignore | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/.gitignore b/.gitignore index 85da0ebca6..a571427f68 100644 --- a/.gitignore +++ b/.gitignore @@ -163,7 +163,25 @@ src/ExtractionHaskell/unsaturated_solinas src/ExtractionHaskell/solinas_reduction src/ExtractionHaskell/word_by_word_montgomery src/ExtractionHaskell/base_conversion +src/ExtractionHaskell/bedrock2_base_conversion +src/ExtractionHaskell/bedrock2_dettman_multiplication +src/ExtractionHaskell/bedrock2_fiat_crypto +src/ExtractionHaskell/bedrock2_saturated_solinas +src/ExtractionHaskell/bedrock2_solinas_reduction +src/ExtractionHaskell/bedrock2_unsaturated_solinas +src/ExtractionHaskell/bedrock2_word_by_word_montgomery +src/ExtractionHaskell/fiat_crypto +src/ExtractionHaskell/with_bedrock2_base_conversion +src/ExtractionHaskell/with_bedrock2_dettman_multiplication +src/ExtractionHaskell/with_bedrock2_fiat_crypto +src/ExtractionHaskell/with_bedrock2_saturated_solinas +src/ExtractionHaskell/with_bedrock2_solinas_reduction +src/ExtractionHaskell/with_bedrock2_unsaturated_solinas +src/ExtractionHaskell/with_bedrock2_word_by_word_montgomery src/ExtractionHaskell/*.hs +src/ExtractionOCaml/bedrock2_fiat_crypto +src/ExtractionOCaml/fiat_crypto +src/ExtractionOCaml/with_bedrock2_fiat_crypto src/ExtractionOCaml/saturated_solinas src/ExtractionOCaml/dettman_multiplication src/ExtractionOCaml/unsaturated_solinas