Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .classpath | 422 | logstatsplainblame |
-rw-r--r-- | .gitignore | 6 | logstatsplainblame |
-rw-r--r-- | .project | 1088 | logstatsplainblame |
d--------- | .settings | 54 | logstatsplain |
d--------- | META-INF | 39 | logstatsplain |
-rw-r--r-- | build.properties | 132 | logstatsplainblame |
-rw-r--r-- | plugin.xml | 1587 | logstatsplainblame |
d--------- | src-gen / ca / mcgill / ecse / dslreasoner / vampire / queries | 29 | logstatsplain |
d--------- | src / ca / mcgill / ecse / dslreasoner / vampire / queries | 29 | logstatsplain |