aboutsummaryrefslogtreecommitdiffstats
path: root/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* 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-292-14/+92
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: check that there is something after the :Mattias Andrée2014-11-291-2/+9
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* derpMattias Andrée2014-11-291-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* add a minor todoMattias Andrée2014-11-281-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* add a todoMattias Andrée2014-11-281-0/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: split mds_kbdc_parse_error_print so that the print and the description formation are separate proceduresMattias Andrée2014-11-281-35/+51
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* miscMattias Andrée2014-11-282-27/+21
| | | | 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>
* whitespaceMattias Andrée2014-11-284-8/+8
| | | | 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-282-24/+149
| | | | 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-283-31/+84
| | | | 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-286-25/+43
| | | | 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-272-5/+133
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* typoMattias Andrée2014-11-262-2/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* some code simplificiationsMattias Andrée2014-11-237-216/+93
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-11-231-1/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* Starting on some reworkMattias Andrée2014-11-229-73/+394
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m work on smplificationMattias Andrée2014-11-213-22/+106
| | | | 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-194-46/+279
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* typoMattias Andrée2014-11-192-2/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-11-181-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: support alternations and dots in macro_callsMattias Andrée2014-11-171-35/+28
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-11-171-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* remove dubug lineMattias Andrée2014-11-171-1/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* missed if statementMattias Andrée2014-11-171-1/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* fix macro call regressionMattias Andrée2014-11-172-1/+6
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-11-171-60/+60
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* docMattias Andrée2014-11-171-0/+14
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* macro stuffMattias Andrée2014-11-171-207/+150
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* macrosationMattias Andrée2014-11-171-42/+32
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whoops with escapesMattias Andrée2014-11-171-3/+3
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-11-171-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-11-171-2/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: treeise macro callsMattias Andrée2014-11-172-39/+114
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-11-171-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix treeisation of map statementsMattias Andrée2014-11-171-6/+24
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix treeisation of let-statementsMattias Andrée2014-11-171-24/+42
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>