.gitignore voor Coq

43 negeerregels voor Coq, klaar om naar je repository te kopiëren.

Assistent voor formele bewijzen

.gitignore downloaden Combineer Coq met andere technologieën

De volledige .gitignore voor Coq

# Gegenereerd door LFGitignore - https://lfgitignore.com
# Aangemaakt: 2026-10-13 15:57:25 UTC
# Technologieën: Coq

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

Wat deze regels voor Coq precies negeren

Hieronder vind je elk patroon met uitleg waarom het in je .gitignore thuishoort.

Algemeen

Patroon	Wat wordt genegeerd
`.*.aux`	Algemeen
`.*.d`	Algemeen
`*.a`	Statische bibliotheek
`*.cma`	Algemeen
`*.cmi`	Algemeen
`*.cmo`	Algemeen
`*.cmx`	Algemeen
`*.cmxa`	Algemeen
`*.cmxs`	Algemeen
`*.glob`	Algemeen
`*.ml.d`	Algemeen
`*.ml4.d`	Algemeen
`*.mlg.d`	Algemeen
`*.mli.d`	Algemeen
`*.mllib.d`	Algemeen
`*.mlpack.d`	Algemeen
`*.native`	Algemeen
`*.o`	Objectbestand
`*.v.d`	Algemeen
`*.vio`	Algemeen
`*.vo`	Algemeen
`*.vok`	Algemeen
`*.vos`	Algemeen
`.coq-native`	Algemeen
`.csdp.cache`	Algemeen
`.lia.cache`	Algemeen
`.nia.cache`	Algemeen
`.nlia.cache`	Algemeen
`.nra.cache`	Algemeen
`csdp.cache`	Algemeen
`lia.cache`	Algemeen
`nia.cache`	Algemeen
`nlia.cache`	Algemeen
`nra.cache`	Algemeen
`native_compute_profile_*.data`	Algemeen
`*.timing.diff`	Gegenereerde tijdmeetbestanden
`*.v.after-timing`	Algemeen
`*.v.before-timing`	Algemeen
`*.v.timing`	Algemeen
`time-of-build-after.log`	Algemeen
`time-of-build-before.log`	Algemeen
`time-of-build-both.log`	Algemeen
`time-of-build-pretty.log`	Algemeen

Zo gebruik je deze .gitignore voor Coq

Kopieer de bovenstaande regels voor Coq of download het bestand direct.
Maak een bestand met de naam .gitignore in de hoofdmap van je Git-repository en plak de regels erin.
Als Git sommige van deze bestanden al bijhoudt, voer dan git rm -r --cached . uit en maak een nieuwe commit. Git past negeerregels alleen toe op bestanden die nog niet worden bijgehouden.
Commit de .gitignore, zodat iedereen in het team dezelfde regels gebruikt.

Andere .gitignore-sjablonen voor Taal

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

Bekijk alle sjablonen voor Taal