.gitignore

*.class

# Package Files #
smtinterpol*.jar
smtinterpol-src.zip
smtinterpol-smtcomp.tar.gz

# Automatically generated parsers #
Lexer.java
LexerSymbols.java
Parser.java
ProofParser.java
ProofLexer.java
ProofSymbols.java

# Automatically generated version #
SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/Version.java

# emacs backup files #
*~

# bin and release directories #
bin
release

# eclipse metadata #
.metadata

# file created by bash-completion #
.ant-targets-buildjar.xml

# test-related stuff #
testreports
cobertura
coverage

# project specific settings
.settings

# the documentation directory (is automatically generated)
doc-smtinterpol
/SMTInterpol/web/html/gen/

# smtlib files and generated jars except in certain directories
*.smt2
!/SMTInterpolTest/test/**/*.smt2
!/SMTInterpol/web/*.smt2
!/Webinterface/src/main/webapp/example/*.smt2
*.jar
!libs/*.jar
!**/lib/*.jar

# java profiles and error logs
java.hprof*
hs_err_pid*

# latex files
*.aux
*.bbl
*.blg
*.log
*.out
comment.cut

# generated pdf files
/SMTInterpol/doc/proof/proof.pdf
/SMTInterpol/doc/mixedInterpolation/newtechreport.pdf
/SMTInterpol/doc/mixedInterpolation/techReport_mixedInterpolation.pdf
/SMTInterpol/doc/mixedInterpolation/tacas_mixedInterpolation.pdf
/SMTInterpol/doc/sysdesc/sysdesc.pdf
/SMTInterpol/doc/sysdesc/sysdesc2014.pdf
/SMTInterpol/doc/arrays/models.pdf
/SMTInterpol/doc/future-devel/future.pdf
/SMTInterpol/doc/interpolation.pdf
/SMTInterpol/doc/progvars.pdf
/SMTInterpol/doc/proposal.pdf

# eclipse stuff
.recommenders

#ant stuff
.ant-*

# archives
*.tar.gz
*.tgz
*.zip

# webinterface
*.iml
.idea/
Webinterface/target