kframework/k — pull request #1030 by yilongli (2014-10-03 04:28:40+00:00)
Title: Remove more obsolete code

Removed some obsolete code for z3 interaction and path indexing. Path indexing was good work, however, we eventually decided to go a different route. Therefore, the code related to path indexing has not been maintained for a while and is probably broken.

@dwightguth please review