aboutsummaryrefslogtreecommitdiffstats
path: root/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* mds-kbdc: more validationMattias Andrée2014-12-011-6/+44
| | | | 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-016-4/+588
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-11-301-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: it is possible to print the errors in reverse orderMattias Andrée2014-11-301-1/+13
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-11-301-1/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* simplifyMattias Andrée2014-11-301-39/+28
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* fix order of "included from here"-notesMattias Andrée2014-11-301-2/+7
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: detect resursive inclusionMattias Andrée2014-11-301-2/+49
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: process includesMattias Andrée2014-11-304-11/+161
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: transfer of errors after inclusionMattias Andrée2014-11-301-1/+60
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: include processing, testing and error transfer has yet to be doneMattias Andrée2014-11-301-4/+145
| | | | 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: add support for empty filesMattias Andrée2014-11-303-3/+13
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* preparing for include processingMattias Andrée2014-11-305-11/+117
| | | | 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-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>