-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitignore
145 lines (134 loc) · 2.33 KB
/
.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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
Giallar.egg-info/
build/
giallar/preprocessor/output_files/
/dist/
*.pyc
.*.aux
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
*.o
*.v.d
*.vio
*.vo
.coq-native/
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache
# Ignore auto-generated Makefiles
CoqMakefile
CoqMakefile.conf
# Git ignore file for the Certikos repository
#
# NB: The patterns below correspond to files created by the build system.
# Files that are created because of local circumstances should not appear
# here. So for example the #*# and *~ files that relate to the specific
# configuration of the specific editor you use are best handled by one of
# the local ignore lists documented here:
#
# https://help.github.com/articles/ignoring-files
#
# Please do not add the here.
# Build system
.depend
.filelist
filelist
.filelist.*
.timelog
timelog
*.time
.cproject
.project
*.aux
.coq-native
# Various kinds of intermediate files
*.v.d
*.vo
*.glob
*.o
*.parsed.c
*.light.c
*.compcert.c
*.compcert
_build
ccertikos
#certikos.s
*#*#*
.#*
# AAC tactics
aac_tactics/Makefile.coq
aac_tactics/mlihtml
aac_tactics/*.d
aac_tactics/*.cmi
aac_tactics/*.cmx
aac_tactics/*.cmo
aac_tactics/*.cmxs
# Compcert
compcert/Makefile.config
compcert/_build
compcert/driver/Configuration.ml
compcert/extraction/*.ml
compcert/extraction/*.mli
compcert/extraction/STAMP
compcert/tools/ndfun
compcert/tools/ndfun.cmi
compcert/tools/ndfun.cmx
compcert/tools/ndfun.o
compcert/backend/SelectDiv.v
compcert/backend/SelectLong.v
compcert/ia32/ConstpropOp.v
compcert/ia32/SelectOp.v
compcert/ccomp
compcert/ccomp.prof
compcert/ccomp.byte
compcert/cchecklink
compcert/cchecklink.byte
compcert/clightgen
compcert/clightgen.byte
compcert/runtime/libcompcert.a
compcert/doc/coq2html
compcert/doc/coq2html.cmi
compcert/doc/coq2html.cmx
compcert/doc/coq2html.ml
compcert/doc/coq2html.o
compcert/doc/html
compcert/test/*/*.s
compcert/test/compression/arcode
compcert/test/compression/lzss
compcert/test/compression/lzw
compcert/test/raytracer/render
compcert/test/spass/spass
compcert/test/STAMP
# CompCertX
compcertx/html
# Liblayers
liblayers/html
# mCertiKOS
mcertikos/extraction/*.ml*
mcertikos/ccertikos
mcertikos/certikos.s
mcertikos/certikos.o
mcertikos/script/timelog_t
# Mac
.DS_Store
*~
mcertikos/timelog
.coqdeps.d