| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | bump year | Mattias Andrée | 2015-02-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | m | Mattias Andrée | 2014-12-11 | 1 | -0/+1 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses | Mattias Andrée | 2014-12-11 | 1 | -33/+40 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | with a few exceptions and some remaining files, never return directly on failure, always goto fail by invoking fail_if | Mattias Andrée | 2014-12-08 | 1 | -16/+25 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | rename pfail to fail | Mattias Andrée | 2014-12-08 | 1 | -11/+11 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | mds-kbdc: split out and dedup include stack | Mattias Andrée | 2014-12-02 | 1 | -102/+12 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | whitespace | Mattias Andrée | 2014-12-01 | 1 | -1/+0 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | mds-kbdc: m | Mattias Andrée | 2014-12-01 | 1 | -50/+50 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | mds-kbdc: m + more test cases | Mattias Andrée | 2014-12-01 | 1 | -23/+10 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | mds-kbdc: add some test cases + fix issued with inclusion | Mattias Andrée | 2014-12-01 | 1 | -1/+31 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | m | Mattias Andrée | 2014-12-01 | 1 | -2/+2 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | mds-kbdc: we cannot at the validation level determine if a value-statment is a set-statement, therefore, we do not validate value-statements yet | Mattias Andrée | 2014-12-01 | 1 | -8/+8 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | whitespace | Mattias Andrée | 2014-12-01 | 1 | -12/+12 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | mds-kbdc: more validation | Mattias Andrée | 2014-12-01 | 1 | -6/+44 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | m | Mattias Andrée | 2014-12-01 | 1 | -1/+1 |
| | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
| * | mds-kbdc: most of the structure validation | Mattias Andrée | 2014-12-01 | 1 | -0/+548 |
| Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
 |
index : mds | |
| Avant-garde display server | Mattias Andrée <maandree@kth.se> |
| aboutsummaryrefslogtreecommitdiffstats |