mds - Avant-garde display server

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