aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner
ModeNameSize
-rw-r--r--.classpath773logstatsplainblame
-rw-r--r--.gitignore37logstatsplainblame
-rw-r--r--.project1089logstatsplainblame
d---------.settings244logstatsplain
d---------META-INF39logstatsplain
-rw-r--r--build.properties240logstatsplainblame
d---------lib64logstatsplain
-rw-r--r--plugin.properties71logstatsplainblame
-rw-r--r--plugin.xml1535logstatsplainblame
d---------queries / hu / bme / mit / inf / dlsreasoner / alloy / reasoner / queries29logstatsplain
d---------src / hu / bme / mit / inf / dlsreasoner / alloy / reasoner29logstatsplain
d---------unused204logstatsplain