aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner
ModeNameSize
-rw-r--r--.classpath516logstatsplainblame
-rw-r--r--.gitignore28logstatsplainblame
-rw-r--r--.project1089logstatsplainblame
d---------.settings54logstatsplain
d---------META-INF39logstatsplain
-rw-r--r--build.properties126logstatsplainblame
-rw-r--r--plugin.xml1697logstatsplainblame
d---------queries / ca / mcgill / ecse / dslreasoner / vampire / reasoner / queries29logstatsplain
d---------src-gen / ca / mcgill / ecse / dslreasoner / vampire / reasoner / queries29logstatsplain
d---------src / ca / mcgill / ecse / dslreasoner / vampire / reasoner29logstatsplain
d---------xtend-gen / ca / mcgill / ecse / dslreasoner / vampire / reasoner29logstatsplain