aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2018-12-07 12:11:11 -0500
committerGravatar Jason Gross <jgross@mit.edu>2018-12-07 12:11:11 -0500
commitdc7f5bafc70e1bd953a7a101602346b7008180fe (patch)
treef794ffda921514e7e18e14c72d27f8368b0231ae /.gitignore
parentd3674cace598d673d60f7ed0c18be4a6434d4b44 (diff)
Add more windows binaries
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index d30890299..0a1bc5a54 100644
--- a/.gitignore
+++ b/.gitignore
@@ -113,6 +113,9 @@ third_party/curve25519-donna-c64/measure
src/Experiments/NewPipeline/ExtractionHaskell/saturated_solinas
src/Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas
src/Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery
+src/Experiments/NewPipeline/ExtractionHaskell/saturated_solinas.exe
+src/Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas.exe
+src/Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery.exe
src/Experiments/NewPipeline/ExtractionHaskell/*.hi
src/Experiments/NewPipeline/ExtractionHaskell/*.hs
src/Experiments/NewPipeline/ExtractionHaskell/*.o