aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc (follow)
Commit message (Collapse)AuthorAgeFilesLines
* mds-kbdc: fix permutation generationMattias Andrée2014-11-293-5/+92
| | | | 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-2919-0/+333
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: check that there is something after the :Mattias Andrée2014-11-291-0/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* some test filesMattias Andrée2014-11-295-0/+56
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: simplification of alternationsMattias Andrée2014-11-284-0/+81
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m + macro call alternation eliminationMattias Andrée2014-11-286-0/+123
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: support alternations and dots in macro_callsMattias Andrée2014-11-172-0/+26
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: treeise macro callsMattias Andrée2014-11-171-0/+27
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix treeisation of map statementsMattias Andrée2014-11-171-0/+112
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix treeisation of let-statementsMattias Andrée2014-11-173-0/+67
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix treeisation of if-statementsMattias Andrée2014-11-175-0/+156
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* small fixes and a bunch of testsMattias Andrée2014-11-1716-0/+287
Signed-off-by: Mattias Andrée <maandree@operamail.com>