haskell-backend/.gitignore at master · runtimeverification/haskell-backend · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
/.build/*
/evm-semantics

*.class
*.iml
*.ipr
*.iws
target
.idea
*.aux
*.bbl
*.blg
*.log
*.out
*.merge-output
*.synctex.gz
!docs/hash-symbol.pdf
*.fdb_latexmk
*.fls
*.tix
*.toc
.stack-work*
.*.swp
.*.swo
tags
.classpath
.project
.settings
*-kompiled/
.dir-locals.el
*.prof
.kprove-*
.krun-*
/coverage_report
/haskell_documentation
test-results.xml
.directory
/dist-newstyle/
/dist/
*.fail
cabal.project.local
*.save-proofs.kore
/.envrc
/result*
/local.nix
/shell.local.nix
/TAGS
/.TAGS*
kore-exec.tar.gz
hie.yaml
.hie/
/.direnv
/.vscode
.DS_Store
*~
/scripts/logs
/scripts/bug-reports
/booster/test/rpc-integration/resources/*.dylib
/booster/test/*/definition/*kompiled/

# the LLVM bindings from ./booster/cbits are symlinked to the root ./cbits to make HLS work
/cbits