mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-11-22 21:50:54 +03:00
51 lines
813 B
Plaintext
51 lines
813 B
Plaintext
*\#*
|
|
*~
|
|
.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
|