.gitignore

*.agdai
*.aux
*.bak
*.chi
*.chs.h
*.class
*.dyn_hi
*.dyn_o
*.eventlog
*.exe
*.hi
*.hie
*.hp
*.log
*.o
*.prof
*~
\#*\#
.HTF/
.cabal-sandbox/
.ghc.environment.*
.hpc
.hsenv
.stack-work/
_build/
a.out
cabal-dev/
cabal.project.local
cabal.project.local~
cabal.sandbox.config
dist/
dist-*/
MAlonzo/
stack*.yaml.lock

# Ignore directories that contain generated files
CMM/
CPP/

# Don't commit HTML since it's all generated
*.html

# Ignore testsuite archives
*.tar.gz

# Ignore IPL book sources
CVS/

# Temporarily ignored directories
/doc/
/exercises/
/lectures/
/plt-book/

# Individual ignores

/2007-index.txt
/2012-index.txt
/2014-index.txt
/exams.tgz

/labs/old-lab3/
/labs/old-lab4/
/labs/old-2015-mini/

/labs/mini/miniJS.zip

/labs/test-*.*.*
/labs/lab?/*/test-*.*.*
/labs/lab?/java/cmm/

/labs/lab1/testscript/lab1-test-dir/
/labs/lab1/testscript/progs-test-lab1
/labs/lab1/testscript/plt-test-lab1

/labs/lab1/testsuite/lab1-test-dir/
/labs/lab1/testsuite/lab1-test-dir#/
/labs/lab1/testsuite/progs-test-lab1
/labs/lab1/testsuite/good/fractal.pgm
/labs/lab1/testsuite/good/fractal.ppm

/labs/lab2/agda/lab2
/labs/lab2/agda/lab2.cabal
/labs/lab2/haskell/lab2
/labs/lab2/java/lab2

/labs/lab2/testsuite/good/**/*.j
/labs/lab2/testsuite/good/*.cc.tmp.cpp
/labs/lab2/testsuite/bad/*.cc.tmp.cpp
/labs/lab2/testsuite/progs-test-lab2
/labs/lab2/testsuite/plt-test-lab2

/labs/lab3/java/lab3
/labs/lab3/haskell/lab3

/labs/lab3/testsuite/*.j
/labs/lab3/testsuite/dir-for-path-test/one-more-dir/simple.j
/labs/lab3/testsuite/progs-test-lab3-jvm-verify
/labs/lab3/testsuite/progs-test-lab3
/labs/lab3/testsuite/plt-test-lab3

/labs/lab4/haskell/Fun/
/labs/lab4/haskell/lab4
/labs/lab4/java/fun/
/labs/lab4/java/Fun/
/labs/lab4/java/lab4

/labs/lab4/testsuite.tgz
/labs/lab4/testsuite/progs-test-lab4
/labs/lab4/testsuite/plt-test-lab4
/labs/lab4/testsuite/good/*.golden