aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries
ModeNameSize
-rw-r--r--.classpath422logstatsplainblame
-rw-r--r--.gitignore15logstatsplainblame
-rw-r--r--.project1088logstatsplainblame
d---------.settings54logstatsplain
d---------META-INF39logstatsplain
-rw-r--r--build.properties132logstatsplainblame
-rw-r--r--plugin.xml1493logstatsplainblame
d---------src-gen / ca / mcgill / ecse / dslreasoner / vampire / queries29logstatsplain
d---------src / ca / mcgill / ecse / dslreasoner / vampire / queries29logstatsplain