# IDE Artifacts
.metadata
.build
.idea
*.d
Debug
Release
*~
*#
*.iml
tags
.vscode

#vim swap file
*.swp

#compiled python files
*.pyc

#Vagrant stuff
Vagrantfile
.vagrant

#Mac stuff
.DS_Store

#doxygen
doxygen/html/
doxygen/latex/


#cmake artifacts
dependencies
_build
build
_build_*
cmake-build*
*-build

# Compiled Object files
*.slo
*.lo
*.o
*.obj

# Precompiled Headers
*.gch
*.pch

# Compiled Dynamic libraries
*.so
*.dylib
*.dll

# Fortran module files
*.mod

# Compiled Static libraries
*.lai
*.la
*.a
*.lib

# Executables
*.exe
*.out
*.app

# CBMC files
*.goto
*.log
