mds/test-files/mds-kbdc/validate-tree/valid, branch master
Avant-garde display server
https://git.maandree.se/mds/atom?h=master
2014-12-11T03:29:54Z
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>
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: 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: 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>