Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses | Mattias Andrée | 2014-12-11 | 2 | -0/+44 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2014-12-11 | 1 | -0/+0 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | add test for multiple assumption-clauses | Mattias Andrée | 2014-12-11 | 1 | -0/+26 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: m + add argument count suffix to macro calls during simplification | Mattias Andrée | 2014-12-04 | 2 | -2/+2 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: more test cases | Mattias Andrée | 2014-12-01 | 4 | -0/+50 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: m + more test cases | Mattias Andrée | 2014-12-01 | 7 | -0/+87 |
Signed-off-by: Mattias Andrée <maandree@operamail.com> |