aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui.tests
ModeNameSize
-rw-r--r--.classpath470logstatsplainblame
-rw-r--r--.gitignore28logstatsplainblame
-rw-r--r--.project901logstatsplainblame
d---------.settings114logstatsplain
d---------META-INF39logstatsplain
-rw-r--r--build.properties138logstatsplainblame
d---------src-gen / ca / mcgill / ecse / dslreasoner / ui / tests29logstatsplain