cryptol/.gitignore

*\#*
*~
.DS_Store
.cabal-sandbox
cabal.sandbox.config
dist
results.xml
dist-newstyle
.stack-work
.ghc.environment.*

# 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
Initial import from internal repo 2014-04-18 02:34:25 +04:00			`\#`
			`*~`
			`.DS_Store`
			`.cabal-sandbox`
			`cabal.sandbox.config`
			`dist`
			`results.xml`
Ignore stack and cabal new-build build artifacts 2017-05-11 02:57:52 +03:00			`dist-newstyle`
			`.stack-work`
Ignore all .ghc.envi* stuff 2018-12-12 03:16:39 +03:00			`.ghc.environment.*`
Initial import from internal repo 2014-04-18 02:34:25 +04:00
			`# don't check in generated documentation`
temporarily check docs into the repo Getting the right TeX Live and pandoc environments on the build slaves is turning out to be a Big Headache. For now, build docs locally and keep the repo copies up to date. 2014-04-24 06:16:57 +04:00			`#docs/CryptolPrims.pdf`
			`#docs/ProgrammingCryptol.pdf`
			`#docs/Syntax.pdf`
split out notebook into separate package This involved: - Moving a couple REPL modules into the Cryptol library hierarchy (those that don't depend on console libraries) - Splitting up the Makefile, which unfortunately resulted in a lot of not-quite-duplication between the two Makefiles. Let's look into better abstraction... 2015-03-03 02:46:21 +03:00			`#docs/Version2Changes.pdf`
Initial import from internal repo 2014-04-18 02:34:25 +04:00
			`# don't check in distribution files`
split out notebook into separate package This involved: - Moving a couple REPL modules into the Cryptol library hierarchy (those that don't depend on console libraries) - Splitting up the Makefile, which unfortunately resulted in a lot of not-quite-duplication between the two Makefiles. Let's look into better abstraction... 2015-03-03 02:46:21 +03:00			`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/`
split benchmark XML into separate files This will hopefully yield better scale in the graphs on the Jenkins job 2016-08-09 21:05:30 +03:00			`/bench*.xml`
Update test for new utf-8 error message 2019-02-28 21:04:17 +03:00
			`# ignore test suite output`
			`/bin`
			`/output`