aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/simplify-tree (unfollow)
Commit message (Expand)AuthorFilesLines
2014-12-04mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée9-27/+27
2014-12-03mds-kbdc: mMattias Andrée1-0/+0
2014-11-30mds-kbdc: fix nesting inside unorderedMattias Andrée2-2/+171
2014-11-29mds-kbdc: value statement stuffMattias Andrée2-2/+38
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ée19-0/+333
2014-11-29some test filesMattias Andrée5-0/+56
2014-11-28mds-kbdc: simplification of alternationsMattias Andrée4-0/+81
2014-11-28m + macro call alternation eliminationMattias Andrée5-0/+119