aboutsummaryrefslogtreecommitdiffstats
path: root/src/mds-kbdc (follow)
Commit message (Collapse)AuthorAgeFilesLines
* mds-kbdc: more simplificationMattias Andrée2014-12-021-274/+307
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: small simplifications to make-treeMattias Andrée2014-12-021-54/+104
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: split out some code in make-treeMattias Andrée2014-12-021-53/+140
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* typoMattias Andrée2014-12-021-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: split out and dedup include stackMattias Andrée2014-12-024-204/+312
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: dead code eliminationMattias Andrée2014-12-022-34/+62
| | | | 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>
* whitespaceMattias Andrée2014-12-011-1/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: dead code-elimination: walk treeMattias Andrée2014-12-011-2/+36
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: mMattias Andrée2014-12-011-6/+6
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: mMattias Andrée2014-12-011-50/+50
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: prepare for dead code eliminationMattias Andrée2014-12-013-1/+262
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m + more test casesMattias Andrée2014-12-011-23/+10
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: add some test cases + fix issued with inclusionMattias Andrée2014-12-016-17/+97
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-011-2/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: we cannot at the validation level determine if a value-statment is a set-statement, therefore, we do not validate value-statements yetMattias Andrée2014-12-011-8/+8
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-12-011-12/+12
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* 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>
* 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>