.gitignore 506 Bytes
Newer Older
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 38 39
results/**/*.ltl
results/**/*.ppltl
results/**/*.metrics
results/**/*.foltl

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

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

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