Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | typo | Mattias Andrée | 2014-12-02 | 1 | -1/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: more simplification | Mattias Andrée | 2014-12-02 | 1 | -274/+307 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: small simplifications to make-tree | Mattias Andrée | 2014-12-02 | 1 | -54/+104 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: split out some code in make-tree | Mattias Andrée | 2014-12-02 | 1 | -53/+140 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | typo | Mattias Andrée | 2014-12-02 | 1 | -1/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: split out and dedup include stack | Mattias Andrée | 2014-12-02 | 4 | -204/+312 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: dead code elimination | Mattias Andrée | 2014-12-02 | 2 | -34/+62 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | m | Mattias Andrée | 2014-12-01 | 1 | -1/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | whitespace | Mattias Andrée | 2014-12-01 | 1 | -1/+0 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: dead code-elimination: walk tree | Mattias Andrée | 2014-12-01 | 1 | -2/+36 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: m | Mattias Andrée | 2014-12-01 | 1 | -6/+6 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: m | Mattias Andrée | 2014-12-01 | 1 | -50/+50 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: prepare for dead code elimination | Mattias Andrée | 2014-12-01 | 3 | -1/+262 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: m + more test cases | Mattias Andrée | 2014-12-01 | 1 | -23/+10 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: add some test cases + fix issued with inclusion | Mattias Andrée | 2014-12-01 | 6 | -17/+97 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | m | Mattias Andrée | 2014-12-01 | 1 | -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 yet | Mattias Andrée | 2014-12-01 | 1 | -8/+8 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | whitespace | Mattias Andrée | 2014-12-01 | 1 | -12/+12 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: more validation | Mattias Andrée | 2014-12-01 | 1 | -6/+44 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | m | Mattias Andrée | 2014-12-01 | 1 | -1/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: most of the structure validation | Mattias Andrée | 2014-12-01 | 6 | -4/+588 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | m | Mattias Andrée | 2014-11-30 | 1 | -1/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: it is possible to print the errors in reverse order | Mattias Andrée | 2014-11-30 | 1 | -1/+13 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | whitespace | Mattias Andrée | 2014-11-30 | 1 | -1/+0 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | simplify | Mattias Andrée | 2014-11-30 | 1 | -39/+28 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | fix order of "included from here"-notes | Mattias Andrée | 2014-11-30 | 1 | -2/+7 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: detect resursive inclusion | Mattias Andrée | 2014-11-30 | 1 | -2/+49 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: process includes | Mattias Andrée | 2014-11-30 | 4 | -11/+161 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: transfer of errors after inclusion | Mattias Andrée | 2014-11-30 | 1 | -1/+60 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: include processing, testing and error transfer has yet to be done | Mattias Andrée | 2014-11-30 | 1 | -4/+145 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | whitespace | Mattias Andrée | 2014-11-30 | 1 | -1/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: add support for empty files | Mattias Andrée | 2014-11-30 | 3 | -3/+13 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | preparing for include processing | Mattias Andrée | 2014-11-30 | 5 | -11/+117 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: fix nesting inside unordered | Mattias Andrée | 2014-11-30 | 1 | -20/+28 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: value statement stuff | Mattias Andrée | 2014-11-29 | 1 | -8/+35 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: fix permutation generation | Mattias Andrée | 2014-11-29 | 1 | -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 step | Mattias Andrée | 2014-11-29 | 2 | -14/+92 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: check that there is something after the : | Mattias Andrée | 2014-11-29 | 1 | -2/+9 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | derp | Mattias Andrée | 2014-11-29 | 1 | -1/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | add a minor todo | Mattias Andrée | 2014-11-28 | 1 | -1/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | add a todo | Mattias Andrée | 2014-11-28 | 1 | -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 procedures | Mattias Andrée | 2014-11-28 | 1 | -35/+51 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | misc | Mattias Andrée | 2014-11-28 | 2 | -27/+21 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | typo | Mattias Andrée | 2014-11-28 | 1 | -1/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: simplification of map statements | Mattias Andrée | 2014-11-28 | 1 | -63/+84 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | most of the work on simplifying map statements | Mattias Andrée | 2014-11-28 | 1 | -59/+192 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: simplification of unordered subseq:s | Mattias Andrée | 2014-11-28 | 2 | -24/+149 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | m comment | Mattias Andrée | 2014-11-28 | 1 | -1/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: eliminate unorded subseq:s inside alternations | Mattias Andrée | 2014-11-28 | 1 | -3/+21 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | m + some unordered subseq simplification | Mattias Andrée | 2014-11-28 | 3 | -31/+84 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> |