aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.trace.logic2vampire
ModeNameSize
-rw-r--r--.classpath376logstatsplainblame
-rw-r--r--.project769logstatsplainblame
d---------META-INF39logstatsplain
d---------model143logstatsplain