.gitignore 425 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 28 29
# Idea
.idea/

Christian Müller's avatar
Christian Müller committed
30
# Resulting ltl formulas
Christian Müller's avatar
Christian Müller committed
31 32
results/*.ltl
results/*.ppltl
Christian Müller's avatar
Christian Müller committed
33
results/*.foltl
Christian Müller's avatar
Christian Müller committed
34
results/*.png
Christian Müller's avatar
Christian Müller committed
35
results/*.metrics
Christian Müller's avatar
Christian Müller committed
36 37 38

# aalta
cnf.dimacs
Christian Müller's avatar
Christian Müller committed
39 40 41

# Z3
lib/com.microsoft.z3.jar