aboutsummaryrefslogtreecommitdiffstats
path: root/test-files (unfollow)
Commit message (Collapse)AuthorFilesLines
2014-12-13mds-kbdc: compile-layout: more test casesMattias Andrée7-0/+50
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ée2-0/+44
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>
2014-12-11mds-kbdc: validate-tree: add test case: assumption inside assumptionMattias Andrée1-0/+19
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-11add test for multiple assumption-clausesMattias Andrée1-0/+26
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-10mds-kbdc: compile-layout: fix sideeffect trackingMattias Andrée1-0/+15
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-10mds-kbdc: compile-layout: m bug fix + more test casesMattias Andrée2-0/+16
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-10mds-kbdc: compile-layout: test returnMattias Andrée1-0/+24
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-10mds-kbdc: compile-layout: m bug fix + more test casesMattias Andrée6-0/+42
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-10mds-kbdc: compile-layout: m + more test casesMattias Andrée4-0/+91
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-09mds-kbdc: m bug fixes + more test casesMattias Andrée20-0/+121
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-09mds-kbdc: bug fixes and test casesMattias Andrée5-2/+48
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-09mds-kbdc: compile-layout: watch out for incomplete function callsMattias Andrée1-0/+3
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-09mds-kbdc: m + compile-layout: bug fixes and test casesMattias Andrée3-0/+24
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-09mds-kbdc: compile-layout: macro_call: fix bug: do not duplicate the arguments if there are noneMattias Andrée1-2/+0
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-09mds-kbdc: compile-layout: fix a bug in parse_variableMattias Andrée1-2/+0
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-08mds-kbdc: mark failing test casesMattias Andrée2-0/+4
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-08mds-kbdc: compile-layout. bug fixes, test-cases and mark all untested error reportsMattias Andrée13-1/+77
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-08mds-kbdc: compile-layout: more tested and bug fixesMattias Andrée4-0/+16
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-07mds-kbdc: test call to undefined callables and mark the entire macro call if the macro does not existMattias Andrée2-0/+4
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-07mds-kbdc: compile-layout: some bug fixes and test casesMattias Andrée7-0/+38
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-07mds-kbdc: compile-layout: add some test cases + file parsing bugMattias Andrée6-0/+32
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-04mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée14-30/+60
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-03mds-kbdc: mMattias Andrée10-4/+70
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: files with syntax errors are not emptyMattias Andrée1-0/+6
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-02mds-kbdc: dead code eliminationMattias Andrée5-0/+104
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ée13-0/+220
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-12-01mds-kbdc: add some test cases + fix issued with inclusionMattias Andrée9-0/+178
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30fix order of "included from here"-notesMattias Andrée3-14/+14
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30mds-kbdc: detect resursive inclusionMattias Andrée8-0/+89
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30mds-kbdc: process includesMattias Andrée8-0/+91
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30mds-kbdc: add support for empty filesMattias Andrée2-0/+5
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30preparing for include processingMattias Andrée1-1/+3
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-30mds-kbdc: fix nesting inside unorderedMattias Andrée2-2/+171
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-29mds-kbdc: value statement stuffMattias Andrée2-2/+38
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-29mds-kbdc: fix permutation generationMattias Andrée3-5/+92
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-29mds-kbdc: only five test cases to go before it's time for the next stepMattias Andrée19-0/+333
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-29mds-kbdc: check that there is something after the :Mattias Andrée1-0/+2
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-29some test filesMattias Andrée5-0/+56
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28mds-kbdc: simplification of alternationsMattias Andrée4-0/+81
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-28m + macro call alternation eliminationMattias Andrée6-0/+123
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-17mds-kbdc: support alternations and dots in macro_callsMattias Andrée2-0/+26
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-17mds-kbdc: treeise macro callsMattias Andrée1-0/+27
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-17mds-kbdc: fix treeisation of map statementsMattias Andrée1-0/+112
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-17mds-kbdc: fix treeisation of let-statementsMattias Andrée3-0/+67
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-17mds-kbdc: fix treeisation of if-statementsMattias Andrée5-0/+156
Signed-off-by: Mattias Andrée <maandree@operamail.com>
2014-11-17small fixes and a bunch of testsMattias Andrée16-0/+287
Signed-off-by: Mattias Andrée <maandree@operamail.com>