Comment Comment by naasking > I think you at least need a formal semantics for both Chttps://en.wikipedia.org/wiki/CompCert parent naasking 8 days ago
https://en.wikipedia.org/wiki/CompCert