.gitignore per Coq

43 regole di esclusione per Coq, pronte da copiare nel repository.

Assistente per dimostrazioni formali

Scarica .gitignore Combina Coq con altre tecnologie

Il .gitignore completo per Coq

# Generato da LFGitignore - https://lfgitignore.com
# Creato: 2026-10-13 15:57:18 UTC
# Tecnologie: Coq

### Coq ###
.*.aux
.*.d
# Libreria statica
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# File oggetto
*.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

Cosa escludono le regole di Coq

Tutti i pattern e i motivi per includerli nel tuo .gitignore.

Generale

Schema di esclusione	Cosa esclude
`.*.aux`	Generale
`.*.d`	Generale
`*.a`	Libreria statica
`*.cma`	Generale
`*.cmi`	Generale
`*.cmo`	Generale
`*.cmx`	Generale
`*.cmxa`	Generale
`*.cmxs`	Generale
`*.glob`	Generale
`*.ml.d`	Generale
`*.ml4.d`	Generale
`*.mlg.d`	Generale
`*.mli.d`	Generale
`*.mllib.d`	Generale
`*.mlpack.d`	Generale
`*.native`	Generale
`*.o`	File oggetto
`*.v.d`	Generale
`*.vio`	Generale
`*.vo`	Generale
`*.vok`	Generale
`*.vos`	Generale
`.coq-native`	Generale
`.csdp.cache`	Generale
`.lia.cache`	Generale
`.nia.cache`	Generale
`.nlia.cache`	Generale
`.nra.cache`	Generale
`csdp.cache`	Generale
`lia.cache`	Generale
`nia.cache`	Generale
`nlia.cache`	Generale
`nra.cache`	Generale
`native_compute_profile_*.data`	Generale
`*.timing.diff`	File dei tempi generati
`*.v.after-timing`	Generale
`*.v.before-timing`	Generale
`*.v.timing`	Generale
`time-of-build-after.log`	Generale
`time-of-build-before.log`	Generale
`time-of-build-both.log`	Generale
`time-of-build-pretty.log`	Generale

Come usare questo .gitignore per Coq

Copia le regole di Coq qui sopra oppure scarica direttamente il file.
Crea un file chiamato .gitignore nella radice del repository Git e incolla le regole al suo interno.
Se Git tiene già traccia di alcuni di questi file, esegui git rm -r --cached . e crea un nuovo commit: Git applica le regole di esclusione solo ai file non tracciati.
Includi .gitignore in un commit affinché tutto il team condivida le stesse regole.

Altri modelli .gitignore per Linguaggio

Python Java C C++ Go Kotlin Rust Zig Dart Elm Emacs Lisp Gleam

Vedi tutti i modelli di Linguaggio