aboutsummaryrefslogtreecommitdiffstats
path: root/src/mds-kbdc/simplify-tree.c (follow)
Commit message (Expand)AuthorAgeFilesLines
* mds-kbdc: fix nesting inside unorderedMattias Andrée2014-11-301-20/+28
* mds-kbdc: value statement stuffMattias Andrée2014-11-291-8/+35
* mds-kbdc: fix permutation generationMattias Andrée2014-11-291-7/+29
* mds-kbdc: only five test cases to go before it's time for the next stepMattias Andrée2014-11-291-9/+77
* typoMattias Andrée2014-11-281-1/+1
* mds-kbdc: simplification of map statementsMattias Andrée2014-11-281-63/+84
* most of the work on simplifying map statementsMattias Andrée2014-11-281-59/+192
* mds-kbdc: simplification of unordered subseq:sMattias Andrée2014-11-281-24/+146
* m commentMattias Andrée2014-11-281-1/+1
* mds-kbdc: eliminate unorded subseq:s inside alternationsMattias Andrée2014-11-281-3/+21
* m + some unordered subseq simplificationMattias Andrée2014-11-281-26/+62
* m + commentsMattias Andrée2014-11-281-7/+18
* mMattias Andrée2014-11-281-2/+2
* mds-kbdc: simplification of alternationsMattias Andrée2014-11-281-3/+88
* m + macro call alternation eliminationMattias Andrée2014-11-281-11/+18
* mMattias Andrée2014-11-271-2/+2
* mds-kbdc: first untested version of macro call alternation eliminationMattias Andrée2014-11-271-4/+132
* some code simplificiationsMattias Andrée2014-11-231-97/+15
* Starting on some reworkMattias Andrée2014-11-221-26/+83
* m work on smplificationMattias Andrée2014-11-211-9/+93
* whitespaceMattias Andrée2014-11-191-0/+1
* missed a few macrosMattias Andrée2014-11-191-0/+23
* preparation for tree simplificationMattias Andrée2014-11-191-0/+77