aboutsummaryrefslogtreecommitdiffstats
path: root/src/mds-kbdc/simplify-tree.c (unfollow)
Commit message (Collapse)AuthorFilesLines
2014-12-07fail_if supports sequences without being double bracketedMattias Andrée1-3/+3
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-07whitespaceMattias Andrée1-3/+3
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-04mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée1-2/+12
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: parse --force flagMattias Andrée1-1/+0
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: most of the structure validationMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30whitespaceMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30mds-kbdc: fix nesting inside unorderedMattias Andrée1-20/+28
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-29mds-kbdc: value statement stuffMattias Andrée1-8/+35
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-29mds-kbdc: fix permutation generationMattias Andrée1-7/+29
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ée1-9/+77
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28typoMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28mds-kbdc: simplification of map statementsMattias Andrée1-63/+84
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28most of the work on simplifying map statementsMattias Andrée1-59/+192
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28mds-kbdc: simplification of unordered subseq:sMattias Andrée1-24/+146
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28m commentMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28mds-kbdc: eliminate unorded subseq:s inside alternationsMattias Andrée1-3/+21
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28m + some unordered subseq simplificationMattias Andrée1-26/+62
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28m + commentsMattias Andrée1-7/+18
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28mMattias Andrée1-2/+2
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28mds-kbdc: simplification of alternationsMattias Andrée1-3/+88
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28m + macro call alternation eliminationMattias Andrée1-11/+18
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-27mMattias Andrée1-2/+2
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-27mds-kbdc: first untested version of macro call alternation eliminationMattias Andrée1-4/+132
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-23some code simplificiationsMattias Andrée1-97/+15
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-22Starting on some reworkMattias Andrée1-26/+83
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-21m work on smplificationMattias Andrée1-9/+93
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-19whitespaceMattias Andrée1-0/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-19missed a few macrosMattias Andrée1-0/+23
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-19preparation for tree simplificationMattias Andrée1-0/+77
Signed-off-by: Mattias Andrée <maandree@operamail.com>
generated by cgit v1.3.1 (git 2.54.0) at 2026-05-25 22:40:34 +0000