-
Notifications
You must be signed in to change notification settings - Fork 6
/
.gitignore
108 lines (88 loc) · 1006 Bytes
/
.gitignore
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
.vscode/
*.o
*.lo
*.a
*.la
*.lai
*.so.*
*.Plo
*.Po
*.output
*.0
*.1
*.m4
*.log
*.status
*.sub
*.obj
ajut*
.libs/*
autom4te.cache/
Examples/.libs/*
Main/.libs/*
Parser/*.yy.c
Parser/*.tab.c
Parser/*.tab.h
Main/gkc
Main/gendata
Main/indextool
Main/stresstest
Main/selftest
Main/wgdb
gkc
gkc.exe
gkcosx
gkc.lib
gkc.pc
Makefile
whitedb.pc
compile
config.guess
configure
depcomp
install-sh
libtool
ltmain.sh
missing
py-compile
stamp-h1
test-driver
.dirstamp
tmp
Rtest/
Locdoc/
Builtparser/*.y
Examples/try*
Examples/tmp*
2019/
old30weightlimit/
okversion12june/
version13june/
version16junecasc/
starexec/
starexec2/
starexec_benchmarks/
Binaries/
hl/
geoff/
casc/
2020/
html/
Jstest/
Db/Makefile.in
Main/Makefile.in
Makefile.in
Parser/Makefile.in
Printer/Makefile.in
Reasoner/Makefile.in
Reasoner/analyze_last.c
Reasoner/analyze_last.h
Reasoner/clstore_v40.c
Reasoner/glb_40.c
Reasoner/proplog.js
Reasoner/psolve.c
Reasoner/psolve.h
config.h.in
config.h.orig
json/Makefile.in
makefile.orig