aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/simplify-tree/valid (unfollow)
Commit message (Collapse)AuthorFilesLines
2014-12-04mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée8-26/+44
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30mds-kbdc: fix nesting inside unorderedMattias Andrée2-2/+171
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-29mds-kbdc: fix permutation generationMattias Andrée3-5/+92
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-29mds-kbdc: only five test cases to go before it's time for the next stepMattias Andrée10-0/+166
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-29some test filesMattias Andrée3-0/+33
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28mds-kbdc: simplification of alternationsMattias Andrée3-0/+73
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28m + macro call alternation eliminationMattias Andrée4-0/+115
Signed-off-by: Mattias Andrée <maandree@operamail.com>