kframework/k — pull request #383 by andreiarusoaie (2014-04-15 19:59:31+00:00)
Title: Symbolic kompile

This pull request fixes the symbolic backend (which stopped working for some unknown reason) and appends a regression test for its functionality. Also, it it follows the same approach as the other backends, by having its own KRun implementation.

@dwightguth @dlucanu Please review.