build/
install/
!doc/install/

# Editors
*.swp
*~
.ycm_extra_conf.py

# Python
*.pyc
__pycache__

# Object files
*.o
*.ko
*.obj
*.elf

# Libraries
*.lib
*.a

# Shared objects (inc. Windows DLLs)
*.dll
*.so
*.so.*
*.dylib

# Executables
*.exe
*.out
*.app
*.i*86
*.x86_64
*.hex

# IKOS
*.ar
*.db
