Skip to content

Commit

Permalink
Update .gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
@JasonGross
JasonGross authored Nov 16, 2023
1 parent 5450a10 commit 463c9af
Showing 1 changed file with 18 additions and 0 deletions.
18 changes: 18 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 463c9af

Please sign in to comment.