.gitignore per a Coq
43 regles d’exclusió de Coq, llestes per copiar al repositori.
Assistent de prova formal
El .gitignore complet per a Coq
# Generat per LFGitignore - https://lfgitignore.com
# Creat: 2026-10-31 22:58:02 UTC
# Tecnologies: Coq
### Coq ###
.*.aux
.*.d
# Biblioteca estàtica
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Fitxer objecte
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
.coq-native
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache
native_compute_profile_*.data
*.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
El que aquestes regles Coq ignoren realment
Cada patró a continuació i per què pertany al vostre .gitignore.
General
| Patró | El que ignora |
|---|---|
.*.aux |
General |
.*.d |
General |
*.a |
Biblioteca estàtica |
*.cma |
General |
*.cmi |
General |
*.cmo |
General |
*.cmx |
General |
*.cmxa |
General |
*.cmxs |
General |
*.glob |
General |
*.ml.d |
General |
*.ml4.d |
General |
*.mlg.d |
General |
*.mli.d |
General |
*.mllib.d |
General |
*.mlpack.d |
General |
*.native |
General |
*.o |
Fitxer objecte |
*.v.d |
General |
*.vio |
General |
*.vo |
General |
*.vok |
General |
*.vos |
General |
.coq-native |
General |
.csdp.cache |
General |
.lia.cache |
General |
.nia.cache |
General |
.nlia.cache |
General |
.nra.cache |
General |
csdp.cache |
General |
lia.cache |
General |
nia.cache |
General |
nlia.cache |
General |
nra.cache |
General |
native_compute_profile_*.data |
General |
*.timing.diff |
fitxers de cronometratge generats |
*.v.after-timing |
General |
*.v.before-timing |
General |
*.v.timing |
General |
time-of-build-after.log |
General |
time-of-build-before.log |
General |
time-of-build-both.log |
General |
time-of-build-pretty.log |
General |
Com utilitzar aquest .gitignore per a Coq
- Copieu les regles Coq anteriors o descarregueu el fitxer directament.
- Creeu un fitxer anomenat .gitignore a l'arrel del vostre repositori Git i enganxeu-hi les regles.
- Si alguns d’aquests fitxers ja tenen seguiment, executeu git rm -r --cached . i torneu a confirmar els canvis: Git només aplica les regles d’exclusió als fitxers sense seguiment.
- Confirmeu el fitxer .gitignore perquè tot l’equip comparteixi les mateixes regles.