3 ms·CompCert (compcert.inria.fr) kind-of gives C formal semantics.by arielb1 12y agoCompCert (compcert.inria.fr) kind-of gives C formal semantics.