aboutsummaryrefslogtreecommitdiffstats
path: root/src/mds-kbdc (unfollow)
Commit message (Expand)AuthorFilesLines
2014-12-11some small fixesMattias Andrée2-13/+13
2014-12-11mMattias Andrée2-0/+14
2014-12-11mds-kbdc: compile-layout: do not warn about non-shadowing after a for-loopMattias Andrée3-4/+74
2014-12-11define help-functions inside assumption-clausesMattias Andrée4-0/+33
2014-12-11mds-kbdc: validate-tree: you can define functions and macros inside assumption-clausesMattias Andrée3-33/+84
2014-12-11mMattias Andrée1-0/+0