GitIgnore File for pvs

Create a .gitignore file to tell git which files or folders to ignore in your pvs project.

# Created by https://Shodkk.com/create-gitignore (Shantanu Bombatkar) SirDeploy Package
# It helps deploy fakeserver ReactApp on Heroku and Github Pages
#  Hope it helps || Thanks for Using SirDeploy Package

### PVS ###
# 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

 # Star the Repo https://github.com/shaantanu9/SirDeploy
# https://www.linkedin.com/in/shantanu-bombatkar/ 
# End of File
Download pvs.gitignore

List Of Files and Folders That Get Ignored using this Gitignore code

Above Code Helps ignore following files from pvs Project

Ignore binary files

Ignore orphaned and old proofs

Ignore compiled Lisp files

Ignore PVS dump files

Ignore PVS log files

If you have any questions or suggestions please feel free to contact us


Feedback is the most important part of any website.

If you have any query, suggestion or feedback, Please feel free to contact us.