mds - Avant-garde display server

	Commit message (Expand)	Author	Age	Files	Lines
*	mds-kbdc: validate-tree: add test case: assumption inside assumption	Mattias Andrée	2014-12-11	1	-0/+19
*	mds-kbdc: m + add argument count suffix to macro calls during simplification	Mattias Andrée	2014-12-04	3	-1/+31
*	mds-kbdc: m	Mattias Andrée	2014-12-03	1	-1/+2
*	mds-kbdc: more test cases	Mattias Andrée	2014-12-01	2	-0/+37
*	mds-kbdc: m + more test cases	Mattias Andrée	2014-12-01	6	-0/+133
*	mds-kbdc: add some test cases + fix issued with inclusion	Mattias Andrée	2014-12-01	9	-0/+178