2017-03-15 20:30:00 +08:00
|
|
|
.*.aux
|
2019-12-20 07:04:12 +08:00
|
|
|
.*.d
|
2017-03-15 20:30:00 +08:00
|
|
|
*.a
|
|
|
|
|
*.cma
|
|
|
|
|
*.cmi
|
|
|
|
|
*.cmo
|
|
|
|
|
*.cmx
|
|
|
|
|
*.cmxa
|
|
|
|
|
*.cmxs
|
2015-08-28 16:44:04 +08:00
|
|
|
*.glob
|
2017-03-15 20:30:00 +08:00
|
|
|
*.ml.d
|
|
|
|
|
*.ml4.d
|
|
|
|
|
*.mli.d
|
|
|
|
|
*.mllib.d
|
|
|
|
|
*.mlpack.d
|
|
|
|
|
*.native
|
|
|
|
|
*.o
|
2015-08-28 16:44:04 +08:00
|
|
|
*.v.d
|
2017-03-15 20:30:00 +08:00
|
|
|
*.vio
|
|
|
|
|
*.vo
|
2019-12-20 07:04:12 +08:00
|
|
|
*.vok
|
|
|
|
|
*.vos
|
2017-03-15 20:30:00 +08:00
|
|
|
.coq-native/
|
|
|
|
|
.csdp.cache
|
|
|
|
|
.lia.cache
|
|
|
|
|
.nia.cache
|
|
|
|
|
.nlia.cache
|
|
|
|
|
.nra.cache
|
|
|
|
|
csdp.cache
|
|
|
|
|
lia.cache
|
|
|
|
|
nia.cache
|
|
|
|
|
nlia.cache
|
|
|
|
|
nra.cache
|
2020-09-03 00:57:08 +08:00
|
|
|
|
|
|
|
|
# generated timing files
|
|
|
|
|
*.timing.diff
|
|
|
|
|
*.v.after-timing
|
|
|
|
|
*.v.before-timing
|
|
|
|
|
*.v.timing
|
|
|
|
|
time-of-build-after.log
|
|
|
|
|
time-of-build-before.log
|
|
|
|
|
time-of-build-both.log
|
|
|
|
|
time-of-build-pretty.log
|
