# git-ls-files --others --exclude-from=.git/info/exclude
# Lines that start with '#' are comments.

*~
*#*
.DS_Store
tags
*.tgz
*.tar
.*.swp
*.class

*.toc
*.aux
*.bbl
*.blg
*.len
*.log
*.nav
*.out
*.snm

*.serialized

# *.orig files are created by git during merges
*.orig

### Gradle ###
# Created by https://www.gitignore.io/api/gradle
# Edit at https://www.gitignore.io/?templates=gradle
.gradle
**/build/

# Ignore Gradle GUI config
gradle-app.setting

# Avoid ignoring Gradle wrapper jar file (.jar files are usually ignored)
!gradle-wrapper.jar

# Cache of project
.gradletasknamecache

# # Work around https://youtrack.jetbrains.com/issue/IDEA-116898
# gradle/wrapper/gradle-wrapper.properties

### IDE stuff ###
# We do not need to check-in eclipse or intellij stuff:
.idea/
out/
bin/
.settings
.project
.classpath

# Files generated by IntelliJ ANTLR plugin
key.core/src/main/gen

### KeY specific things ###
# this file is automatically generated by gradle task :key.core:generateSMTListings
key.core/src/main/resources/de/uka/ilkd/key/smt/newsmt2/DefinedSymbolsHandler.preamble.xml

# this file is automatically generated by gradle task :key.core:generateSolverPropsList
key.core/src/main/resources/de/uka/ilkd/key/smt/solvertypes/solvers.txt

key/key.ui/examples/**/**.proof
**/testresults/**

# generated by the antlr plugin of IntelliJ
key.core/src/main/antlr4/gen/

scripts/tools/checkstyle/key_checks_incremental.xml
checkstyle-diff.txt
