.gitignore

# Object files, in general
*.o
*.a
*.cmi
*.cmo
*.cmx
*.cma
*.cmxa
*.cmxs
.*.aux
*.cmti
*.cmt
*.merlin
# Emacs saves
*~
# Executables and configuration
CONFIGURE

*.vo
*.vok
*.vos
*.glob
*.v.d
.depend
.loadpath
.loadpath-export
version.v
coqide
*.cache
*.crashcoqide
*~
*#
.#*
*.aux
doc/html/
_CoqProject
.loadpath-export
_CoqProject-export

*.exe

*.DS_Store

# IDE files
*nbproject
*.idea/
*CMakeLists.txt
*cmake-build-debug/

concurrency/.coqdeps.d
concurrency/Makefile
*.vos
*.vok
*.log
concurrency/Verification of Concurrent Binary Search Tree.log
concurrency/Verification of Concurrent Binary Search Tree.pdf
concurrency/Verification of Concurrent Binary Search Tree.synctex.gz
concurrency/Makefile.conf
*.gz
concurrency/CoqMakefile.conf
concurrency/.Makefile.d
concurrency/.vscode/settings.json
concurrency/CONCUR 2023/paper.pdf
concurrency/ASL 2022/Verification of Concurrent Binary Search Tree.pdf
concurrency/CONCUR 2023/paper.vtc
concurrency/template paper/paper.zip
concurrency/template paper/paper.out
*.blg
*.bbl