analyzer/.gitignore at master · stilscher/analyzer · 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
TAGS
tags
config.log
config.status
*.swp
*.exe
a.out
obj
goblint
goblint.byte
goblint.json
goblint.domaintest
src/version.ml
src/config.ml
src/goblint.ml
tests/bench.txt
.DS_Store
.tm_properties
_build
*.native
*.byte
doc
doclist.odocl
autom4te.cache
mytests
result/*
tests/regression/14-osek/osek_goblint.h
tests/regression/16-relinv/osek_goblint.h
tests/regression/16-relinv/flags.json
tests/regression/*/goblint_temp
linux-headers

goblint_temp_*/

src/spec/graph
.vagrant

g2html.jar

gmon.out
ocamlprof.dump
arinc

.vscode
_opam/
cfgs/

*.graphml
goblint.bc.js

# Files generated by merge tools after conflicts
*.orig

sv-comp/goblint.zip

privPrecCompare*/
tests/regression/*/run