.gitignore

# vim
[._]*.s[a-v][a-z]
[._]*.sw[a-p]
[._]s[a-v][a-z]
[._]sw[a-p]

# emacs
*~
\#*\#
/.emacs.desktop
/.emacs.desktop.lock
*.elc
auto-save-list
tramp
.\#*

# misc
*.pyc
zig-cache

# java
*.class
fiat-java/doc

# coq
.*.aux
.*.d
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
.coq-native
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache
native_compute_profile_*.data

# generated timing files
*.timing.diff
*.v.after-timing
*.v.before-timing
*.v.timing
time-of-build-after.log
time-of-build-before.log
time-of-build-both.log
time-of-build-pretty.log

*.d
Makefile.bak
Makefile.coq
Makefile.coq.conf
Makefile.coq.bak
Makefile-coq.conf

/remake_curves.log
/finished.ok
/time-of-build-pretty.log
/time-of-build.log

/*.out
/*.out.processed
output-tests/*.expected.processed

# OCaml
*.annot
*.cmo
*.cma
*.cmi
*.a
*.o
*.cmx
*.cmxs
*.cmxa

# ocamlbuild working directory
_build/

# ocamlbuild targets
*.byte
*.native

# oasis generated files
setup.data
setup.log

# Merlin configuring file for Vim and Emacs
.merlin

# Dune generated files
*.install

# Local OPAM switch
_opam/

# Haskell
dist
dist-*
cabal-dev
*.o
*.hi
*.hie
*.chi
*.chs.h
*.dyn_o
*.dyn_hi
.hpc
.hsenv
.cabal-sandbox/
cabal.sandbox.config
*.prof
*.aux
*.hp
*.eventlog
.stack-work/
cabal.project.local
cabal.project.local~
.HTF/
.ghc.environment.*

# compilation outputs
src/Everything.v
src/Bedrock/Everything.v

/_CoqProject

*.exe
*.perf.data
/*.o
etc/tscfreq
third_party/openssl-curve25519/measure
third_party/openssl-nistp256c64/measure
third_party/openssl-nistz256-adx/measure
third_party/openssl-nistz256-amd64/measure
third_party/openssl-nistz256/measure
third_party/curve25519-donna-c64/measure
src/ExtractionHaskell/saturated_solinas
src/ExtractionHaskell/dettman_multiplication
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/WithBedrock/base_conversion
src/ExtractionHaskell/WithBedrock/dettman_multiplication
src/ExtractionHaskell/WithBedrock/fiat_crypto
src/ExtractionHaskell/WithBedrock/saturated_solinas
src/ExtractionHaskell/WithBedrock/solinas_reduction
src/ExtractionHaskell/WithBedrock/unsaturated_solinas
src/ExtractionHaskell/WithBedrock/word_by_word_montgomery
src/ExtractionHaskell/*.hs
src/ExtractionOCaml/bedrock2_fiat_crypto
src/ExtractionOCaml/fiat_crypto
src/ExtractionOCaml/WithBedrock/fiat_crypto
src/ExtractionOCaml/saturated_solinas
src/ExtractionOCaml/dettman_multiplication
src/ExtractionOCaml/unsaturated_solinas
src/ExtractionOCaml/solinas_reduction
src/ExtractionOCaml/word_by_word_montgomery
src/ExtractionOCaml/base_conversion
src/ExtractionOCaml/bedrock2_saturated_solinas
src/ExtractionOCaml/bedrock2_dettman_multiplication
src/ExtractionOCaml/bedrock2_unsaturated_solinas
src/ExtractionOCaml/bedrock2_solinas_reduction
src/ExtractionOCaml/bedrock2_word_by_word_montgomery
src/ExtractionOCaml/bedrock2_base_conversion
src/ExtractionOCaml/WithBedrock/saturated_solinas
src/ExtractionOCaml/WithBedrock/dettman_multiplication
src/ExtractionOCaml/WithBedrock/unsaturated_solinas
src/ExtractionOCaml/WithBedrock/solinas_reduction
src/ExtractionOCaml/WithBedrock/word_by_word_montgomery
src/ExtractionOCaml/WithBedrock/base_conversion
src/ExtractionOCaml/perf_unsaturated_solinas
src/ExtractionOCaml/perf_word_by_word_montgomery
src/ExtractionOCaml/*.ml
src/ExtractionOCaml/*.mli
src/ExtractionOCaml/WithBedrock/*.ml
src/ExtractionOCaml/WithBedrock/*.mli
src/ExtractionJsOfOCaml/*.ml
src/ExtractionJsOfOCaml/*.mli
src/ExtractionJsOfOCaml/*.js
src/ExtractionJsOfOCaml/*.map
src/ExtractionJsOfOCaml/*.wasm
src/ExtractionJsOfOCaml/*.wat
src/ExtractionJsOfOCaml/*.wat.gz
src/ExtractionJsOfOCaml/WithBedrock/*.ml
src/ExtractionJsOfOCaml/WithBedrock/*.mli
src/ExtractionJsOfOCaml/WithBedrock/*.js
src/ExtractionJsOfOCaml/WithBedrock/*.map
src/ExtractionJsOfOCaml/WithBedrock/*.wasm
src/ExtractionJsOfOCaml/WithBedrock/*.wat
src/ExtractionJsOfOCaml/WithBedrock/*.wat.gz
src/Rewriter/PerfTesting/Specific/generated/*.v
src/Rewriter/PerfTesting/Specific/generated/*.log
src/Rewriter/PerfTesting/Specific/generated/*.sh
src/Rewriter/PerfTesting/Specific/generated/primes.mk
fiat-amd64/*.stdout
fiat-amd64/*.stderr
fiat-amd64/*.out
fiat-amd64/*.out-asm
fiat-amd64/*.status
fiat-amd64/*.only-status
fiat-amd64/*.description
fiat-amd64/*.invocation
fiat-html/fiat_crypto.js
fiat-html/fiat_crypto.map
fiat-html/wasm/fiat_crypto.js
fiat-html/wasm/fiat_crypto.wat
fiat-html/wasm/fiat_crypto.wat.gz
fiat-html/wasm/fiat_crypto.wasm
fiat-html/wasm/fiat_crypto.wasm.map
fiat-html/wasm/fiat_crypto.assets/
fiat-html/version.js
/Makefile.test-amd64-files.mk

# Rust
/fiat-rust/Cargo.lock
/fiat-rust/target/


# Misc
native_compute_profile_*.data