mds/test-files/mds-kbdc/validate-tree/invalid, branch master
Avant-garde display server
https://git.maandree.se/mds/atom?h=master
2014-12-11T03:08:23Z
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>
mds-kbdc: m + add argument count suffix to macro calls during simplification
2014-12-04T13:30:46Z
Mattias Andrée
maandree@operamail.com
2014-12-04T13:30:46Z
urn:sha1:0239a64c71af094908d3337042a7507e018d3eb3
Signed-off-by: Mattias Andrée <maandree@operamail.com>
mds-kbdc: m
2014-12-03T16:46:11Z
Mattias Andrée
maandree@operamail.com
2014-12-03T16:45:57Z
urn:sha1:1816931fc0645f187c0ca9395cba14cd16a87be4
Signed-off-by: Mattias Andrée <maandree@operamail.com>
mds-kbdc: more test cases
2014-12-01T19:36:12Z
Mattias Andrée
maandree@operamail.com
2014-12-01T19:36:12Z
urn:sha1:155e323f1312bc9c3c290d5184f7678677e573af
Signed-off-by: Mattias Andrée <maandree@operamail.com>
mds-kbdc: m + more test cases
2014-12-01T19:26:07Z
Mattias Andrée
maandree@operamail.com
2014-12-01T19:26:07Z
urn:sha1:ff1b90a4f4aec4d374261adda460ddc1d83c5ddd
Signed-off-by: Mattias Andrée <maandree@operamail.com>
mds-kbdc: add some test cases + fix issued with inclusion
2014-12-01T12:27:13Z
Mattias Andrée
maandree@operamail.com
2014-12-01T12:27:13Z
urn:sha1:2d0181e9e07236ea28fb638c4a9eafb5896635b6
Signed-off-by: Mattias Andrée <maandree@operamail.com>