kframework/c-semantics — pull request #44 by yilongli (2014-10-25 04:01:50+00:00)
Title: fixed cil imports

I accidentally broke the cil semantics when I reorganized the folder structure.

@andreistefanescu please review