aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples
ModeNameSize
-rw-r--r--.classpath518logstatsplainblame
-rw-r--r--.gitignore6logstatsplainblame
-rw-r--r--.project1094logstatsplainblame
d---------.settings54logstatsplain
d---------META-INF39logstatsplain
-rw-r--r--build.properties217logstatsplainblame
d---------examples42logstatsplain
d---------model131logstatsplain
d---------patterns / hu / bme / mit / inf / dslreasoner / domains / alloyexamples29logstatsplain
-rw-r--r--plugin.properties67logstatsplainblame
-rw-r--r--plugin.xml2184logstatsplainblame
d---------src-gen / hu / bme / mit / inf / dslreasoner / domains / alloyexamples29logstatsplain
d---------src / hu / bme / mit / inf / dslreasoner / domains / alloyexamples / Filesystem29logstatsplain