aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/simplify-tree/valid/nested_alternations_in_macro_call (unfollow)
Commit message (Expand)AuthorFilesLines
2014-12-04mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée1-4/+4
2014-11-28mds-kbdc: simplification of alternationsMattias Andrée1-0/+29