include
lib
include_hs

*.o
*.a
*.or

# Ignore generated libraries
libstp.so
libstp.so.*

# Makefile depenencies
depend.mk
depend

# Yex/yacc parser code
src/parser/lexcvc.*
src/parser/lexsmt.*
src/parser/lexsmt2.*
src/parser/parsecvc.*
src/parser/parsesmt.*
src/parser/parsesmt2.*

#
src/AST/ASTKind.cpp
src/AST/ASTKind.h