aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner
ModeNameSize
-rw-r--r--.classpath633logstatsplainblame
-rw-r--r--.gitignore37logstatsplainblame
-rw-r--r--.project1049logstatsplainblame
d---------.settings244logstatsplain
d---------META-INF39logstatsplain
-rw-r--r--build.properties252logstatsplainblame
d---------lib64logstatsplain
-rw-r--r--plugin.properties67logstatsplainblame
-rw-r--r--plugin.xml1519logstatsplainblame
d---------queries / hu / bme / mit / inf / dlsreasoner / alloy / reasoner / queries29logstatsplain
d---------src / hu / bme / mit / inf / dlsreasoner / alloy / reasoner29logstatsplain
d---------unused204logstatsplain