.gitignore 311 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
*.class
*.log

# sbt specific
.cache
.cache-main
.cache-tests
.history
.lib/
dist/*
target/
lib_managed/
src_managed/
project/boot/
project/plugins/project/

# Scala-IDE specific
.scala_dependencies
.worksheet

# Eclipse
build
.classpath
.settings/
Christian Müller's avatar
Christian Müller committed
25
/bin/
Christian Müller's avatar
Christian Müller committed
26 27

# Resulting ltl formulas
Christian Müller's avatar
Christian Müller committed
28 29
results/*.ltl
results/*.ppltl