.gitignore

*\#*
*~
.DS_Store
.cabal-sandbox
cabal.sandbox.config
dist
results.xml
dist-newstyle
.stack-work
.ghc.environment.*
cabal.project.freeze
cabal.project.local*
.vscode/
_darcs/
.boring

# artifacts of the setup script
dev_setup.log
env.sh

# don't check in generated documentation
#docs/CryptolPrims.pdf
#docs/ProgrammingCryptol.pdf
#docs/Syntax.pdf
#docs/Version2Changes.pdf

# don't check in distribution files
cryptol-2.*

# temporary notebook stuff until we split out the repo
/ICryptol/ICryptol-2.*
/ICryptol/profile.tar
/ICryptol/profile_cryptol/security/
/ICryptol/profile_cryptol/startup/
/bench*.xml

# ignore test suite output
/bin
/output
/tests/regression/*.out

# WiX-generated files
allfiles.wixobj
allfiles.wxs
cryptol.msi
cryptol.wixobj
cryptol.wixpdb

# happy-generated files
src/Cryptol/Parser.hs

# tempfile used for CVE checks:
cryptol-remote-api/python/tmp-requirements.txt