.gitignore 530 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
31 32 33 34 35 36 37
results/**/*.ltl
results/**/*.ppltl
results/**/*.metrics
results/**/*.foltl

# Resulting invariants
results/**/*.invariants
Christian Müller's avatar
Christian Müller committed
38
results/**/*.strategies
39 40
results/**/*.dot
results/**/*.png
Christian Müller's avatar
Christian Müller committed
41 42 43

# aalta
cnf.dimacs
Christian Müller's avatar
Christian Müller committed
44 45 46

# Z3
lib/com.microsoft.z3.jar
47