kframework/c-semantics — pull request #42 by yilongli (2014-10-24 02:08:37+00:00)
Title: fixed several functions to be total

The Java backend doesn't support matching on function symbol in general. Those unresolved functions caused the recent failure of the cil test.

@chathhorn @andreistefanescu please review