kframework/c-semantics — pull request #66 by dwightguth (2014-12-10 23:02:52+00:00)
Title: Ferror

Small fixes to enums, stdio, error reporting, and word size

@chathhorn please review