.gitignore 327 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
results    
Christian Müller committed
26
27

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