aboutsummaryrefslogtreecommitdiffstats
path: root/src/mds-kbdc (unfollow)
Commit message (Collapse)AuthorFilesLines
2014-12-13mds-kbdc: call-stack: push and pop functionsMattias Andrée2-1/+128
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-13mMattias Andrée1-2/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-12mds-kbdc: beginning on call-stacksMattias Andrée4-4/+99
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-12mMattias Andrée2-4/+4
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11typoMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11typoMattias Andrée1-2/+2
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11mMattias Andrée1-3/+3
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11use atoz and not atoll when parsing integers to size_tMattias Andrée1-3/+3
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11m + fix errors in layout filesMattias Andrée5-8/+21
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11whitespaceMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11mds-kbdc: minor bug fixesMattias Andrée2-3/+4
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11some small fixesMattias Andrée2-13/+13
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11mMattias Andrée2-0/+14
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11mds-kbdc: compile-layout: do not warn about non-shadowing after a for-loopMattias Andrée3-4/+74
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11define help-functions inside assumption-clausesMattias Andrée4-0/+33
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11mds-kbdc: validate-tree: you can define functions and macros inside assumption-clausesMattias Andrée3-33/+84
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11mMattias Andrée1-0/+0
Signed-off-by: Mattias Andrée <maandree@operamail.com>