mds/test-files, branch master Avant-garde display server https://git.maandree.se/mds/atom?h=master 2014-12-13T15:15:46Z mds-kbdc: compile-layout: more test cases 2014-12-13T15:15:46Z Mattias Andrée maandree@operamail.com 2014-12-13T15:11:15Z urn:sha1:d184d2aa493b255aa3ff2a7a24cb89b4df993d1b Signed-off-by: Mattias Andrée <maandree@operamail.com> mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses 2014-12-11T03:29:54Z Mattias Andrée maandree@operamail.com 2014-12-11T03:29:54Z urn:sha1:df29e69e8cb89146b145a317cc15f535e52f82d8 Signed-off-by: Mattias Andrée <maandree@operamail.com> m 2014-12-11T03:29:25Z Mattias Andrée maandree@operamail.com 2014-12-11T03:29:25Z urn:sha1:5247cb4f6d282fdd8dcd8c3373bc394d9f25ceb6 Signed-off-by: Mattias Andrée <maandree@operamail.com> mds-kbdc: validate-tree: add test case: assumption inside assumption 2014-12-11T03:08:23Z Mattias Andrée maandree@operamail.com 2014-12-11T03:08:23Z urn:sha1:7d915504f3331a7be2f2ed7e46198edb76f0702d Signed-off-by: Mattias Andrée <maandree@operamail.com> add test for multiple assumption-clauses 2014-12-11T03:01:53Z Mattias Andrée maandree@operamail.com 2014-12-11T03:01:53Z urn:sha1:f398b022205a1004c32f6967506e93662ca9d870 Signed-off-by: Mattias Andrée <maandree@operamail.com> mds-kbdc: compile-layout: fix sideeffect tracking 2014-12-10T14:35:31Z Mattias Andrée maandree@operamail.com 2014-12-10T14:35:31Z urn:sha1:c94b0ddcec4720391036826db64d3157a2972fd8 Signed-off-by: Mattias Andrée <maandree@operamail.com> mds-kbdc: compile-layout: m bug fix + more test cases 2014-12-10T14:28:37Z Mattias Andrée maandree@operamail.com 2014-12-10T14:28:37Z urn:sha1:3e0be0faf5bc00e5d140e50140e6bdd1d19ff987 Signed-off-by: Mattias Andrée <maandree@operamail.com> mds-kbdc: compile-layout: test return 2014-12-10T14:11:41Z Mattias Andrée maandree@operamail.com 2014-12-10T14:11:41Z urn:sha1:b352b77ea31a112a7354edf0100e2c25599aed54 Signed-off-by: Mattias Andrée <maandree@operamail.com> mds-kbdc: compile-layout: m bug fix + more test cases 2014-12-10T00:16:09Z Mattias Andrée maandree@operamail.com 2014-12-10T00:16:09Z urn:sha1:58d10b17ca767635b1e38cb2e57d07438478571b Signed-off-by: Mattias Andrée <maandree@operamail.com> mds-kbdc: compile-layout: m + more test cases 2014-12-09T23:22:26Z Mattias Andrée maandree@operamail.com 2014-12-09T23:22:26Z urn:sha1:135e40c12e99f97b667bdd561192ea44dd4ebd9e Signed-off-by: Mattias Andrée <maandree@operamail.com>