Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | mds-kbdc: most of the structure validation | Mattias Andrée | 2014-12-01 | 1 | -1/+1 |
| | | | | 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: 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 | 1 | -9/+77 |
| | | | | 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 | 1 | -24/+146 |
| | | | | 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 | 1 | -26/+62 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m + comments | Mattias Andrée | 2014-11-28 | 1 | -7/+18 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2014-11-28 | 1 | -2/+2 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: simplification of alternations | Mattias Andrée | 2014-11-28 | 1 | -3/+88 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m + macro call alternation elimination | Mattias Andrée | 2014-11-28 | 1 | -11/+18 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2014-11-27 | 1 | -2/+2 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: first untested version of macro call alternation elimination | Mattias Andrée | 2014-11-27 | 1 | -4/+132 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | some code simplificiations | Mattias Andrée | 2014-11-23 | 1 | -97/+15 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | Starting on some rework | Mattias Andrée | 2014-11-22 | 1 | -26/+83 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m work on smplification | Mattias Andrée | 2014-11-21 | 1 | -9/+93 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | whitespace | Mattias Andrée | 2014-11-19 | 1 | -0/+1 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | missed a few macros | Mattias Andrée | 2014-11-19 | 1 | -0/+23 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | preparation for tree simplification | Mattias Andrée | 2014-11-19 | 1 | -0/+77 |
Signed-off-by: Mattias Andrée <maandree@operamail.com> |