jaylang/.gitignore at main · JHU-PL-Lab/jaylang · 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
63
64
65
66
67
68
69
70
71

# ocaml ecosystem
_esy
_opam
_build

# Execution temp files
/logs
/*.log

# Generated graph files
/dot
/*.dot
/*.pdf
/*.log.json

# Custom build configuration files
/.local_*

# Dune creates its own .merlin files
.merlin

# Dune intermediates
/*.install

# Coverage files
_coverage
*.coverage

# Editor related
.vscode

# Binaries
*.exe
/ddpa_toploop
/test_generator
/test_dbmc
/dj
/dtest
/sato
/translator
/sandbox
/result
/stest
/sctest
/dj

# Local results
profiling
benchmark/result
test/sato/playing-ground

/land*.json
*.ansi

# local files (ignored by default)
/_notes
*.txt
vendor

# paper related
/docs/sato/paper
/paper/main.aux
/paper/main.fdb_latexmk
/paper/main.out
/paper/main.log
/paper/main.fls
/paper/main.synctex.gz

# Language extension files
*.vsix