Ludovic Frank Gitignore

.gitignore pro Coq

43 pravidel ignorování pro Coq, připravených ke zkopírování do repozitáře.

Asistent formálních důkazů

Stáhnout .gitignore Kombinujte Coq s dalšími technologiemi

Kompletní .gitignore pro Coq 

# Vygenerováno pomocí LFGitignore - https://lfgitignore.com
# Vytvořeno: 2026-10-13 15:57:35 UTC
# Technologie: Coq

### Coq ###
.*.aux
.*.d
# Statická knihovna
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Objektový soubor
*.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

Co pravidla pro Coq skutečně ignorují

Každý vzor níže má vysvětlení, proč patří do vašeho .gitignore.

Obecné

Vzor Co ignoruje
.*.aux Obecné
.*.d Obecné
*.a Statická knihovna
*.cma Obecné
*.cmi Obecné
*.cmo Obecné
*.cmx Obecné
*.cmxa Obecné
*.cmxs Obecné
*.glob Obecné
*.ml.d Obecné
*.ml4.d Obecné
*.mlg.d Obecné
*.mli.d Obecné
*.mllib.d Obecné
*.mlpack.d Obecné
*.native Obecné
*.o Objektový soubor
*.v.d Obecné
*.vio Obecné
*.vo Obecné
*.vok Obecné
*.vos Obecné
.coq-native Obecné
.csdp.cache Obecné
.lia.cache Obecné
.nia.cache Obecné
.nlia.cache Obecné
.nra.cache Obecné
csdp.cache Obecné
lia.cache Obecné
nia.cache Obecné
nlia.cache Obecné
nra.cache Obecné
native_compute_profile_*.data Obecné
*.timing.diff Generované soubory časování
*.v.after-timing Obecné
*.v.before-timing Obecné
*.v.timing Obecné
time-of-build-after.log Obecné
time-of-build-before.log Obecné
time-of-build-both.log Obecné
time-of-build-pretty.log Obecné

Jak používat tento .gitignore pro Coq

  1. Zkopírujte výše uvedená pravidla pro Coq nebo si soubor rovnou stáhněte.
  2. V kořenové složce svého Git repozitáře vytvořte soubor .gitignore a vložte do něj pravidla.
  3. Pokud už jsou některé z těchto souborů sledovány, spusťte git rm -r --cached . a pak znovu commitněte — Git uplatňuje pravidla ignorování pouze na nesledované soubory.
  4. Commitněte .gitignore, aby celý tým sdílel stejná pravidla.

Další šablony .gitignore v kategorii Jazyk

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

Zobrazit všechny šablony pro Jazyk