aboutsummaryrefslogtreecommitdiffstats
path: root/src/mds-kbdc/simplify-tree.c (follow)
Commit message (Collapse)AuthorAgeFilesLines
* misc + update e-mailHEADmasterMattias Andrée2024-10-051-1/+1
| | | | Signed-off-by: Mattias Andrée <m@maandree.se>
* Work on changing styleMattias Andrée2017-11-051-649/+634
| | | | Signed-off-by: Mattias Andrée <maandree@kth.se>
* Update year and e-mail addressMattias Andrée2017-11-051-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@kth.se>
* Bump yearMattias Andrée2016-07-091-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@kth.se>
* bump yearMattias Andrée2015-02-131-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* with a few exceptions and some remaining files, never return directly on failure, always goto fail by invoking fail_ifMattias Andrée2014-12-081-18/+22
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* rename pfail to failMattias Andrée2014-12-081-7/+7
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* fail_if supports sequences without being double bracketedMattias Andrée2014-12-071-3/+3
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-12-071-3/+3
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée2014-12-041-2/+12
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: parse --force flagMattias Andrée2014-12-021-1/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-011-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: most of the structure validationMattias Andrée2014-12-011-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-11-301-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix nesting inside unorderedMattias Andrée2014-11-301-20/+28
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: value statement stuffMattias Andrée2014-11-291-8/+35
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix permutation generationMattias Andrée2014-11-291-7/+29
| | | | 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-291-9/+77
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* typoMattias Andrée2014-11-281-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: simplification of map statementsMattias Andrée2014-11-281-63/+84
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* most of the work on simplifying map statementsMattias Andrée2014-11-281-59/+192
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: simplification of unordered subseq:sMattias Andrée2014-11-281-24/+146
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m commentMattias Andrée2014-11-281-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: eliminate unorded subseq:s inside alternationsMattias Andrée2014-11-281-3/+21
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m + some unordered subseq simplificationMattias Andrée2014-11-281-26/+62
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m + commentsMattias Andrée2014-11-281-7/+18
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-11-281-2/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: simplification of alternationsMattias Andrée2014-11-281-3/+88
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m + macro call alternation eliminationMattias Andrée2014-11-281-11/+18
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-11-271-2/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: first untested version of macro call alternation eliminationMattias Andrée2014-11-271-4/+132
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* some code simplificiationsMattias Andrée2014-11-231-97/+15
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* Starting on some reworkMattias Andrée2014-11-221-26/+83
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m work on smplificationMattias Andrée2014-11-211-9/+93
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-11-191-0/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* missed a few macrosMattias Andrée2014-11-191-0/+23
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* preparation for tree simplificationMattias Andrée2014-11-191-0/+77
Signed-off-by: Mattias Andrée <maandree@operamail.com>