kframework/k — pull request #553 by yilongli (2014-06-06 03:22:30+00:00)
Title: refactor pattern matcher for better api (not ready for review)

Create the pull request to test.