aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test
ModeNameSize
-rw-r--r--.classpath470logstatsplainblame
-rw-r--r--.gitignore6logstatsplainblame
-rw-r--r--.project1085logstatsplainblame
d---------.settings54logstatsplain
d---------InputLPs111logstatsplain
d---------META-INF39logstatsplain
-rw-r--r--build.properties126logstatsplainblame
d---------initialModels410logstatsplain
d---------output178logstatsplain
-rw-r--r--plugin.xml537logstatsplainblame
d---------src-gen / ca / mcgill / ecse / dslreasoner / vampire / queries29logstatsplain
d---------src / ca / mcgill / ecse / dslreasoner / vampire29logstatsplain
d---------xtend-gen58logstatsplain