Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .classpath | 516 | 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 | 126 | logstatsplainblame |
d--------- | initialModels | 371 | logstatsplain |
d--------- | output | 178 | logstatsplain |
-rw-r--r-- | plugin.xml | 2941 | logstatsplainblame |
d--------- | src-gen / ca / mcgill / ecse / dslreasoner / vampire / queries | 29 | logstatsplain |
d--------- | src / ca / mcgill / ecse / dslreasoner / vampire | 29 | logstatsplain |
d--------- | xtend-gen / ca / mcgill / ecse / dslreasoner / vampire | 29 | logstatsplain |