kframework/c-semantics — pull request #13 by bmmoore (2014-06-11 16:32:31+00:00)
Title: Update to work with unified builtins

Current version compiles using a patch for kframework/k#549 and the version of builtins/mint.k that andreistefanescu is working on at https://raw.githubusercontent.com/andreistefanescu/k/unified-builtins2/include/builtins/mint.k

There are parse errors without 0640edb, which is a bit surprising.