aboutsummaryrefslogtreecommitdiffstats
path: root/src/mds-kbdc/validate-tree.c (follow)
Commit message (Collapse)AuthorAgeFilesLines
* mMattias Andrée2014-12-111-0/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: validate-tree: you can define functions and macros inside assumption-clausesMattias Andrée2014-12-111-33/+40
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* 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
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* rename pfail to failMattias Andrée2014-12-081-11/+11
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: split out and dedup include stackMattias Andrée2014-12-021-102/+12
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-12-011-1/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: mMattias Andrée2014-12-011-50/+50
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m + more test casesMattias Andrée2014-12-011-23/+10
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: add some test cases + fix issued with inclusionMattias Andrée2014-12-011-1/+31
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-011-2/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* 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
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-12-011-12/+12
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: more validationMattias Andrée2014-12-011-6/+44
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-011-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: most of the structure validationMattias Andrée2014-12-011-0/+548
Signed-off-by: Mattias Andrée <maandree@operamail.com>