Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2014-12-12 | mds-kbdc: beginning on call-stacks | Mattias Andrée | 1 | -1/+1 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-12 | m | Mattias Andrée | 2 | -4/+4 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | typo | Mattias Andrée | 1 | -1/+1 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | typo | Mattias Andrée | 1 | -2/+2 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | m | Mattias Andrée | 1 | -3/+3 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | use atoz and not atoll when parsing integers to size_t | Mattias Andrée | 1 | -3/+3 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | m + fix errors in layout files | Mattias Andrée | 5 | -8/+21 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | whitespace | Mattias Andrée | 1 | -1/+1 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | mds-kbdc: minor bug fixes | Mattias Andrée | 2 | -3/+4 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | some small fixes | Mattias Andrée | 2 | -13/+13 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | m | Mattias Andrée | 2 | -0/+14 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | mds-kbdc: compile-layout: do not warn about non-shadowing after a for-loop | Mattias Andrée | 3 | -4/+74 | |
Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
2014-12-11 | define help-functions inside assumption-clauses | Mattias Andrée | 4 | -0/+33 | |
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 | 3 | -33/+84 | |
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> |