mds/test-files/mds-kbdc/simplify-tree/valid, branch masterAvant-garde display server
https://git.maandree.se/mds/atom?h=master2014-12-04T13:30:46Zmds-kbdc: m + add argument count suffix to macro calls during simplification2014-12-04T13:30:46ZMattias Andréemaandree@operamail.com2014-12-04T13:30:46Zurn:sha1:0239a64c71af094908d3337042a7507e018d3eb3
Signed-off-by: Mattias Andrée <maandree@operamail.com>
mds-kbdc: fix nesting inside unordered2014-11-29T23:05:37ZMattias Andréemaandree@operamail.com2014-11-29T23:05:33Zurn:sha1:cbe63bd8b26177fcd1b25e9f5b92f69608bd29ce
Signed-off-by: Mattias Andrée <maandree@operamail.com>
mds-kbdc: fix permutation generation2014-11-29T22:23:23ZMattias Andréemaandree@operamail.com2014-11-29T22:23:23Zurn:sha1:b47e0e444bd9499b4906b054bb7a32a0a699613c
Signed-off-by: Mattias Andrée <maandree@operamail.com>
mds-kbdc: only five test cases to go before it's time for the next step2014-11-29T20:18:14ZMattias Andréemaandree@operamail.com2014-11-29T20:18:09Zurn:sha1:e912254516bedb2d45fff6aa70432146a45d8381
Signed-off-by: Mattias Andrée <maandree@operamail.com>
some test files2014-11-29T18:03:46ZMattias Andréemaandree@operamail.com2014-11-29T18:03:46Zurn:sha1:8f03ff21a8dc63394c938500ccbf88328ef4c776
Signed-off-by: Mattias Andrée <maandree@operamail.com>
mds-kbdc: simplification of alternations2014-11-28T09:00:37ZMattias Andréemaandree@operamail.com2014-11-28T09:00:37Zurn:sha1:5b769bbb457a0222b58b738a9b8be7a67e10dd34
Signed-off-by: Mattias Andrée <maandree@operamail.com>
m + macro call alternation elimination2014-11-28T07:54:40ZMattias Andréemaandree@operamail.com2014-11-28T07:54:40Zurn:sha1:39f19113d30e87c1604ed4e8e39ea95f87296767
Signed-off-by: Mattias Andrée <maandree@operamail.com>