| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 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-04 | mds-kbdc: m + add argument count suffix to macro calls during simplification | Mattias Andrée | 5 | -3/+33 | |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| 2014-12-03 | mds-kbdc: m | Mattias Andrée | 2 | -1/+6 | |
| 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> | |||||
 |
index : mds | |
| Avant-garde display server | Mattias Andrée <m@maandree.se> |
| aboutsummaryrefslogtreecommitdiffstats |