aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree/invalid/information-assumption (unfollow)
Commit message (Collapse)AuthorFilesLines
2014-12-04mds-kbdc: more compilation stuffMattias Andrée4-33/+193
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-04mds-kbdc: more compilationMattias Andrée1-5/+95
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-04mds-kbdc: compile have_range and ifMattias Andrée1-8/+105
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mMattias Andrée1-2/+0
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: compile-layout: m work information and assumptionMattias Andrée3-6/+128
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: mMattias Andrée11-4/+72
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: make-tree: whitespaceMattias Andrée1-20/+20
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: make-tree: split parse_lineMattias Andrée1-235/+327
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: make-tree: mMattias Andrée1-9/+11
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: make-tree: m simplificationMattias Andrée1-2/+0
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: make-tree: make large macros into functionsMattias Andrée1-341/+481
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: make-tree: simplificationMattias Andrée1-67/+61
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: simplification + remove debug codeMattias Andrée2-38/+27
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: mMattias Andrée1-21/+197
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: m miscMattias Andrée3-1/+43
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: beginning of actual compilationMattias Andrée4-2/+196
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: use absolute and relative pathsMattias Andrée5-19/+227
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: files with syntax errors are not emptyMattias Andrée2-1/+8
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: expand tabsMattias Andrée2-6/+49
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: parse --force flagMattias Andrée4-1/+27
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02typoMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: more simplificationMattias Andrée1-274/+307
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: small simplifications to make-treeMattias Andrée1-54/+104
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: split out some code in make-treeMattias Andrée1-53/+140
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02typoMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: split out and dedup include stackMattias Andrée5-205/+314
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: dead code eliminationMattias Andrée8-40/+172
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01whitespaceMattias Andrée1-1/+0
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: dead code-elimination: walk treeMattias Andrée1-2/+36
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: mMattias Andrée1-6/+6
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: mMattias Andrée1-50/+50
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: prepare for dead code eliminationMattias Andrée4-5/+266
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: more test casesMattias Andrée6-0/+87
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: m + more test casesMattias Andrée14-23/+230
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: add some test cases + fix issued with inclusionMattias Andrée15-17/+275
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mMattias Andrée1-2/+2
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-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ée1-8/+8
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01whitespaceMattias Andrée1-12/+12
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: more validationMattias Andrée1-6/+44
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mMattias Andrée1-2/+2
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: most of the structure validationMattias Andrée8-8/+592
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30mMattias Andrée1-1/+1
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30mds-kbdc: it is possible to print the errors in reverse orderMattias Andrée1-1/+13
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30whitespaceMattias Andrée1-1/+0
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30simplifyMattias Andrée1-39/+28
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30fix order of "included from here"-notesMattias Andrée4-16/+21
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30mds-kbdc: detect resursive inclusionMattias Andrée9-2/+138
Signed-off-by: Mattias Andrée <maandree@operamail.com>
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-25 21:27:22 +0000