kframework/k — pull request #1211 by cos (2014-11-25 19:33:08+00:00)
Title: KORE milestone 1

**do not review just yet, but be prepared... **

- unit-tested convertors from KORE to KIL and back
- significant changes and simplifications to KORE data structures. They are smaller and more powerful now
- simple pattern-matcher with associative matching
- simple rewriter (only one rule for now)
- some work in progress on meta-level