Skip to content

Commit

Permalink
Update .gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
@JasonGross
JasonGross committed Mar 1, 2025
1 parent 85cc0da commit 64ca6ea
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand Down

0 comments on commit 64ca6ea

Please sign in to comment.