aboutsummaryrefslogtreecommitdiffstats
path: root/src/mds-kbdc/validate-tree.c (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update year and e-mail addressMattias Andrée2017-11-051-1/+1
* Bump yearMattias Andrée2016-07-091-1/+1
* bump yearMattias Andrée2015-02-131-1/+1
* mMattias Andrée2014-12-111-0/+1
* mds-kbdc: validate-tree: you can define functions and macros inside assumption-clausesMattias Andrée2014-12-111-33/+40
* with a few exceptions and some remaining files, never return directly on failure, always goto fail by invoking fail_ifMattias Andrée2014-12-081-16/+25
* rename pfail to failMattias Andrée2014-12-081-11/+11
* mds-kbdc: split out and dedup include stackMattias Andrée2014-12-021-102/+12
* whitespaceMattias Andrée2014-12-011-1/+0
* mds-kbdc: mMattias Andrée2014-12-011-50/+50
* mds-kbdc: m + more test casesMattias Andrée2014-12-011-23/+10
* mds-kbdc: add some test cases + fix issued with inclusionMattias Andrée2014-12-011-1/+31
* mMattias Andrée2014-12-011-2/+2
* mds-kbdc: we cannot at the validation level determine if a value-statment is a set-statement, therefore, we do not validate value-statements yetMattias Andrée2014-12-011-8/+8
* whitespaceMattias Andrée2014-12-011-12/+12
* mds-kbdc: more validationMattias Andrée2014-12-011-6/+44
* mMattias Andrée2014-12-011-1/+1
* mds-kbdc: most of the structure validationMattias Andrée2014-12-011-0/+548