aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/simplify-tree/valid (follow)
Commit message (Collapse)AuthorAgeFilesLines
* mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée2014-12-048-26/+44
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix nesting inside unorderedMattias Andrée2014-11-302-2/+171
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix permutation generationMattias Andrée2014-11-293-5/+92
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: only five test cases to go before it's time for the next stepMattias Andrée2014-11-2910-0/+166
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* some test filesMattias Andrée2014-11-293-0/+33
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: simplification of alternationsMattias Andrée2014-11-283-0/+73
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m + macro call alternation eliminationMattias Andrée2014-11-284-0/+115
Signed-off-by: Mattias Andrée <maandree@operamail.com>