kframework/k — pull request #1111 by andreiarusoaie (2014-10-26 06:37:34+00:00)
Title: Symbolic module

Added back the (basic) symbolic backend as a separate module.
@dlucanu @dwightguth please review