Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2014-12-12 | mds-kbdc: beginning on call-stacks | Mattias Andrée | 3 | -3/+98 |
2014-12-12 | m | Mattias Andrée | 2 | -4/+4 |
2014-12-11 | typo | Mattias Andrée | 1 | -1/+1 |
2014-12-11 | typo | Mattias Andrée | 1 | -2/+2 |
2014-12-11 | m | Mattias Andrée | 1 | -3/+3 |
2014-12-11 | use atoz and not atoll when parsing integers to size_t | Mattias Andrée | 1 | -3/+3 |
2014-12-11 | m + fix errors in layout files | Mattias Andrée | 5 | -8/+21 |
2014-12-11 | whitespace | Mattias Andrée | 1 | -1/+1 |
2014-12-11 | mds-kbdc: minor bug fixes | Mattias Andrée | 2 | -3/+4 |
2014-12-11 | some small fixes | Mattias Andrée | 2 | -13/+13 |
2014-12-11 | m | Mattias Andrée | 2 | -0/+14 |
2014-12-11 | mds-kbdc: compile-layout: do not warn about non-shadowing after a for-loop | Mattias Andrée | 3 | -4/+74 |
2014-12-11 | define help-functions inside assumption-clauses | Mattias Andrée | 4 | -0/+33 |
2014-12-11 | mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses | Mattias Andrée | 3 | -33/+84 |
2014-12-11 | m | Mattias Andrée | 1 | -0/+0 |