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