.gitignore

*.aux
.stack-work/
dist-newstyle/
*~
foxdec/examples/*/0*/
foxdec/examples/*/1*/
foxdec/examples/*/2*/
foxdec/examples/*/3*/
foxdec/examples/*/4*/
foxdec/examples/*/5*/
foxdec/examples/*/6*/
foxdec/examples/*/7*/
foxdec/examples/*/8*/
foxdec/examples/*/9*/
foxdec/examples/*/a*/
foxdec/examples/*/b*/
foxdec/examples/*/c*/
foxdec/examples/*/d*/
foxdec/examples/*/e*/
foxdec/examples/*/f*/
foxdec/examples/*/functions/
foxdec/examples/*/nasm/
foxdec/examples/*/*.calls
foxdec/examples/*/*.indirections
foxdec/examples/*/*.pdf
foxdec/examples/*/*.png
foxdec/examples/*/*.jpg
foxdec/examples/*/*.dot
foxdec/examples/*/*.L0
foxdec/examples/*/*.report
foxdec/examples/*/*.json
foxdec/examples/*/*.metrics
foxdec/examples/*/*.json.txt
foxdec/examples/*/*.metrics.txt
foxdec/examples/*/*.log
foxdec/.stack-work
foxdec/examples/*/*_x86_64
foxdec/docs/manual/*/*

*.report
*.thy~
*.prof
.DS_Store
*.swp
*.log
*.out
*.output
*.o
*.fdb_latexmk
*.fls
*.hs.old
docs/manual/*.fdb_latexmk
docs/manual/*.fls

temp*

foxdec/release/FoxDec/