kframework/c-semantics — pull request #35 by dwightguth (2014-08-13 21:27:48+00:00)
Title: fix cil semantics + prove 16 bit integer sum

@andreistefanescu please review