Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .classpath | 885 | logstatsplainblame |
-rw-r--r-- | .gitignore | 41 | logstatsplainblame |
-rw-r--r-- | .project | 1085 | logstatsplainblame |
d--------- | .settings | 54 | logstatsplain |
d--------- | InputLPs | 111 | logstatsplain |
d--------- | META-INF | 39 | logstatsplain |
-rw-r--r-- | build.properties | 103 | logstatsplainblame |
d--------- | initialModels | 332 | logstatsplain |
d--------- | output | 178 | logstatsplain |
-rw-r--r-- | plugin.properties | 52 | logstatsplainblame |
-rw-r--r-- | plugin.xml | 1002 | logstatsplainblame |
d--------- | src-gen / ca / mcgill / ecse / dslreasoner / vampire / queries | 29 | logstatsplain |
d--------- | src / ca / mcgill / ecse / dslreasoner / vampire | 29 | logstatsplain |
-rw-r--r-- | vampire.exe | 11727673 | logstatsplainblame |
d--------- | xtend-gen / ca / mcgill / ecse / dslreasoner / vampire | 29 | logstatsplain |