aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/simplify-tree/valid (unfollow)
Commit message (Expand)AuthorFilesLines
2014-11-29mds-kbdc: fix permutation generationMattias Andrée3-5/+92
2014-11-29mds-kbdc: only five test cases to go before it's time for the next stepMattias Andrée10-0/+166
2014-11-29some test filesMattias Andrée3-0/+33
2014-11-28mds-kbdc: simplification of alternationsMattias Andrée3-0/+73
2014-11-28m + macro call alternation eliminationMattias Andrée4-0/+115