| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2014-12-13 | mds-kbdc: compile-layout: more test cases | Mattias Andrée | 7 | -0/+50 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-11 | mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses | Mattias Andrée | 2 | -0/+44 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-11 | m | Mattias Andrée | 1 | -0/+0 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-11 | mds-kbdc: validate-tree: add test case: assumption inside assumption | Mattias Andrée | 1 | -0/+19 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-11 | add test for multiple assumption-clauses | Mattias Andrée | 1 | -0/+26 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-10 | mds-kbdc: compile-layout: fix sideeffect tracking | Mattias Andrée | 1 | -0/+15 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-10 | mds-kbdc: compile-layout: m bug fix + more test cases | Mattias Andrée | 2 | -0/+16 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-10 | mds-kbdc: compile-layout: test return | Mattias Andrée | 1 | -0/+24 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-10 | mds-kbdc: compile-layout: m bug fix + more test cases | Mattias Andrée | 6 | -0/+42 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-10 | mds-kbdc: compile-layout: m + more test cases | Mattias Andrée | 4 | -0/+91 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-09 | mds-kbdc: m bug fixes + more test cases | Mattias Andrée | 20 | -0/+121 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-09 | mds-kbdc: bug fixes and test cases | Mattias Andrée | 5 | -2/+48 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-09 | mds-kbdc: compile-layout: watch out for incomplete function calls | Mattias Andrée | 1 | -0/+3 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-09 | mds-kbdc: m + compile-layout: bug fixes and test cases | Mattias Andrée | 3 | -0/+24 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-09 | mds-kbdc: compile-layout: macro_call: fix bug: do not duplicate the arguments if there are none | Mattias Andrée | 1 | -2/+0 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-09 | mds-kbdc: compile-layout: fix a bug in parse_variable | Mattias Andrée | 1 | -2/+0 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-08 | mds-kbdc: mark failing test cases | Mattias Andrée | 2 | -0/+4 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-08 | mds-kbdc: compile-layout. bug fixes, test-cases and mark all untested error reports | Mattias Andrée | 13 | -1/+77 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-08 | mds-kbdc: compile-layout: more tested and bug fixes | Mattias Andrée | 4 | -0/+16 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-07 | mds-kbdc: test call to undefined callables and mark the entire macro call if the macro does not exist | Mattias Andrée | 2 | -0/+4 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-07 | mds-kbdc: compile-layout: some bug fixes and test cases | Mattias Andrée | 7 | -0/+38 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-07 | mds-kbdc: compile-layout: add some test cases + file parsing bug | Mattias Andrée | 6 | -0/+32 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-04 | mds-kbdc: m + add argument count suffix to macro calls during simplification | Mattias Andrée | 14 | -30/+60 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-03 | mds-kbdc: m | Mattias Andrée | 10 | -4/+70 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-02 | mds-kbdc: files with syntax errors are not empty | Mattias Andrée | 1 | -0/+6 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-02 | mds-kbdc: dead code elimination | Mattias Andrée | 5 | -0/+104 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-01 | mds-kbdc: more test cases | Mattias Andrée | 6 | -0/+87 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-01 | mds-kbdc: m + more test cases | Mattias Andrée | 13 | -0/+220 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-01 | mds-kbdc: add some test cases + fix issued with inclusion | Mattias Andrée | 9 | -0/+178 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-30 | fix order of "included from here"-notes | Mattias Andrée | 3 | -14/+14 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-30 | mds-kbdc: detect resursive inclusion | Mattias Andrée | 8 | -0/+89 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-30 | mds-kbdc: process includes | Mattias Andrée | 8 | -0/+91 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-30 | mds-kbdc: add support for empty files | Mattias Andrée | 2 | -0/+5 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-30 | preparing for include processing | Mattias Andrée | 1 | -1/+3 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-30 | mds-kbdc: fix nesting inside unordered | Mattias Andrée | 2 | -2/+171 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-29 | mds-kbdc: value statement stuff | Mattias Andrée | 2 | -2/+38 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-29 | mds-kbdc: fix permutation generation | Mattias Andrée | 3 | -5/+92 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-29 | mds-kbdc: only five test cases to go before it's time for the next step | Mattias Andrée | 19 | -0/+333 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-29 | mds-kbdc: check that there is something after the : | Mattias Andrée | 1 | -0/+2 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-29 | some test files | Mattias Andrée | 5 | -0/+56 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-28 | mds-kbdc: simplification of alternations | Mattias Andrée | 4 | -0/+81 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-28 | m + macro call alternation elimination | Mattias Andrée | 6 | -0/+123 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-17 | mds-kbdc: support alternations and dots in macro_calls | Mattias Andrée | 2 | -0/+26 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-17 | mds-kbdc: treeise macro calls | Mattias Andrée | 1 | -0/+27 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-17 | mds-kbdc: fix treeisation of map statements | Mattias Andrée | 1 | -0/+112 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-17 | mds-kbdc: fix treeisation of let-statements | Mattias Andrée | 3 | -0/+67 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-17 | mds-kbdc: fix treeisation of if-statements | Mattias Andrée | 5 | -0/+156 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-11-17 | small fixes and a bunch of tests | Mattias Andrée | 16 | -0/+287 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
