kframework/c-semantics — pull request #64 by dwightguth (2014-11-26 22:30:32+00:00)
Title: minor changes to the C semantics to add support for native calls

@chathhorn please review.

This code is not in its final form; I still need to deal with some issues surrounding linking. But I feel it's better to proceed incrementally by means of doing individual case studies of executing programs. I have tested this code on several functions in GLIBC that take no parameters and return basic types and it seems to work.