kframework/c-semantics — pull request #31 by radumereuta (2014-07-30 20:30:40+00:00)
Title: Updating the CIL semantics to match the new semantics of cast.

@andreistefanescu please review.