PVS
PVS, temiz bir depoyu korumak için projeye özgü dosyaları, derleme eserlerini ve PVS projelerine özgü geçici dosyaları hariç tutabilir. Bir .gitignore dosyası, Git sürüm kontrol sistemlerinde Git'in göz ardı etmesi gereken kasıtlı olarak izlenmeyen dosyaları belirtmek için kullanılır. Bu, özellikle derlenmiş ikili dosyalar, günlük dosyaları, geçici dosyalar veya IDE'ye özgü dosyalar gibi depoya ait olmayan dosya ve dizinlerin sürüm kontrolü tarafından izlenmesini engellemek için kullanışlıdır.
Örnek PVS Dosyası
PVS.gitignore dosyası, projenizde belirli dosyaları yoksaymanıza izin verir. Kurulum için mutlaka yazıya göz atın.
.gitignore Kopyala
# Ignore binary files
pvsbin/
bin/
lib/
*.bin
.pvscontext
# Ignore orphaned and old proofs
orphaned-proofs.prf
*.prf~
# Ignore compiled Lisp files
*fasl
# Ignore PVS dump files
*.dmp
# Ignore PVS log files
*.log