mds - Avant-garde display server

	Commit message (Expand)	Author	Age	Files	Lines
*	mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses	Mattias Andrée	2014-12-11	2	-0/+44
*	m	Mattias Andrée	2014-12-11	1	-0/+0
*	mds-kbdc: validate-tree: add test case: assumption inside assumption	Mattias Andrée	2014-12-11	1	-0/+19
*	add test for multiple assumption-clauses	Mattias Andrée	2014-12-11	1	-0/+26
*	mds-kbdc: m + add argument count suffix to macro calls during simplification	Mattias Andrée	2014-12-04	5	-3/+33
*	mds-kbdc: m	Mattias Andrée	2014-12-03	2	-1/+6
*	mds-kbdc: more test cases	Mattias Andrée	2014-12-01	6	-0/+87
*	mds-kbdc: m + more test cases	Mattias Andrée	2014-12-01	13	-0/+220
*	mds-kbdc: add some test cases + fix issued with inclusion	Mattias Andrée	2014-12-01	9	-0/+178