aboutsummaryrefslogtreecommitdiffstats
path: root/test-files (follow)
Commit message (Collapse)AuthorAgeFilesLines
* mMattias Andrée2014-12-111-0/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: validate-tree: add test case: assumption inside assumptionMattias Andrée2014-12-111-0/+19
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* add test for multiple assumption-clausesMattias Andrée2014-12-111-0/+26
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: fix sideeffect trackingMattias Andrée2014-12-101-0/+15
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: m bug fix + more test casesMattias Andrée2014-12-102-0/+16
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: test returnMattias Andrée2014-12-101-0/+24
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: m bug fix + more test casesMattias Andrée2014-12-106-0/+42
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: m + more test casesMattias Andrée2014-12-104-0/+91
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m bug fixes + more test casesMattias Andrée2014-12-0920-0/+121
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: bug fixes and test casesMattias Andrée2014-12-095-2/+48
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: watch out for incomplete function callsMattias Andrée2014-12-091-0/+3
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m + compile-layout: bug fixes and test casesMattias Andrée2014-12-093-0/+24
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: macro_call: fix bug: do not duplicate the arguments if there are noneMattias Andrée2014-12-091-2/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: fix a bug in parse_variableMattias Andrée2014-12-091-2/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: mark failing test casesMattias Andrée2014-12-082-0/+4
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout. bug fixes, test-cases and mark all untested error reportsMattias Andrée2014-12-0813-1/+77
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: more tested and bug fixesMattias Andrée2014-12-084-0/+16
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: test call to undefined callables and mark the entire macro call if the macro does not existMattias Andrée2014-12-072-0/+4
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: some bug fixes and test casesMattias Andrée2014-12-077-0/+38
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: add some test cases + file parsing bugMattias Andrée2014-12-076-0/+32
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée2014-12-0414-30/+60
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: mMattias Andrée2014-12-0310-4/+70
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: files with syntax errors are not emptyMattias Andrée2014-12-021-0/+6
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: dead code eliminationMattias Andrée2014-12-025-0/+104
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: more test casesMattias Andrée2014-12-016-0/+87
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m + more test casesMattias Andrée2014-12-0113-0/+220
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: add some test cases + fix issued with inclusionMattias Andrée2014-12-019-0/+178
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* fix order of "included from here"-notesMattias Andrée2014-11-303-14/+14
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: detect resursive inclusionMattias Andrée2014-11-308-0/+89
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: process includesMattias Andrée2014-11-308-0/+91
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: add support for empty filesMattias Andrée2014-11-302-0/+5
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* preparing for include processingMattias Andrée2014-11-301-1/+3
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix nesting inside unorderedMattias Andrée2014-11-302-2/+171
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: value statement stuffMattias Andrée2014-11-292-2/+38
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix permutation generationMattias Andrée2014-11-293-5/+92
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: only five test cases to go before it's time for the next stepMattias Andrée2014-11-2919-0/+333
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: check that there is something after the :Mattias Andrée2014-11-291-0/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* some test filesMattias Andrée2014-11-295-0/+56
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: simplification of alternationsMattias Andrée2014-11-284-0/+81
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m + macro call alternation eliminationMattias Andrée2014-11-286-0/+123
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: support alternations and dots in macro_callsMattias Andrée2014-11-172-0/+26
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: treeise macro callsMattias Andrée2014-11-171-0/+27
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix treeisation of map statementsMattias Andrée2014-11-171-0/+112
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix treeisation of let-statementsMattias Andrée2014-11-173-0/+67
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix treeisation of if-statementsMattias Andrée2014-11-175-0/+156
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* small fixes and a bunch of testsMattias Andrée2014-11-1716-0/+287
Signed-off-by: Mattias Andrée <maandree@operamail.com>