aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/simplify-tree (follow)
Commit message (Expand)AuthorAgeFilesLines
* mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée2014-12-049-27/+27
* mds-kbdc: mMattias Andrée2014-12-031-0/+0
* mds-kbdc: fix nesting inside unorderedMattias Andrée2014-11-302-2/+171
* mds-kbdc: value statement stuffMattias Andrée2014-11-292-2/+38
* mds-kbdc: fix permutation generationMattias Andrée2014-11-293-5/+92
* mds-kbdc: only five test cases to go before it's time for the next stepMattias Andrée2014-11-2919-0/+333
* some test filesMattias Andrée2014-11-295-0/+56
* mds-kbdc: simplification of alternationsMattias Andrée2014-11-284-0/+81
* m + macro call alternation eliminationMattias Andrée2014-11-285-0/+119