diff options
Diffstat (limited to 'Coq.gitignore')
| -rw-r--r-- | Coq.gitignore | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/Coq.gitignore b/Coq.gitignore index f25a61d9..66596b22 100644 --- a/Coq.gitignore +++ b/Coq.gitignore @@ -1,4 +1,5 @@ .*.aux +.*.d *.a *.cma *.cmi @@ -9,6 +10,7 @@ *.glob *.ml.d *.ml4.d +*.mlg.d *.mli.d *.mllib.d *.mlpack.d @@ -17,7 +19,9 @@ *.v.d *.vio *.vo -.coq-native/ +*.vok +*.vos +.coq-native .csdp.cache .lia.cache .nia.cache @@ -28,3 +32,14 @@ lia.cache nia.cache nlia.cache nra.cache +native_compute_profile_*.data + +# 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 |