kframework/k — pull request #406 by radumereuta (2014-04-30 19:57:18+00:00)
Title: Work on priorities for the new parser:

- uses the offline visitor to filter out illegal parse trees.
- uses the old inefficient way to calculate the reachability between two productions
(TODO: implement an efficient graph reachability algorithm)
- updated the examples and added them to ktest
- TODO: make the same for left and right associativity