aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree/valid (follow)
Commit message (Expand)AuthorAgeFilesLines
* add test for multiple assumption-clausesMattias Andrée2014-12-111-0/+26
* mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée2014-12-042-2/+2
* mds-kbdc: more test casesMattias Andrée2014-12-014-0/+50
* mds-kbdc: m + more test casesMattias Andrée2014-12-017-0/+87