Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | mds-kbdc: fix permutation generation | Mattias Andrée | 2014-11-29 | 3 | -5/+92 |
* | mds-kbdc: only five test cases to go before it's time for the next step | Mattias Andrée | 2014-11-29 | 19 | -0/+333 |
* | mds-kbdc: check that there is something after the : | Mattias Andrée | 2014-11-29 | 1 | -0/+2 |
* | some test files | Mattias Andrée | 2014-11-29 | 5 | -0/+56 |
* | mds-kbdc: simplification of alternations | Mattias Andrée | 2014-11-28 | 4 | -0/+81 |
* | m + macro call alternation elimination | Mattias Andrée | 2014-11-28 | 6 | -0/+123 |
* | mds-kbdc: support alternations and dots in macro_calls | Mattias Andrée | 2014-11-17 | 2 | -0/+26 |
* | mds-kbdc: treeise macro calls | Mattias Andrée | 2014-11-17 | 1 | -0/+27 |
* | mds-kbdc: fix treeisation of map statements | Mattias Andrée | 2014-11-17 | 1 | -0/+112 |
* | mds-kbdc: fix treeisation of let-statements | Mattias Andrée | 2014-11-17 | 3 | -0/+67 |
* | mds-kbdc: fix treeisation of if-statements | Mattias Andrée | 2014-11-17 | 5 | -0/+156 |
* | small fixes and a bunch of tests | Mattias Andrée | 2014-11-17 | 16 | -0/+287 |