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