FMCAD 2022 artifact

Release of MIL definition, OoO and IO semantics, metatheory, and tools in HOL4 and CakeML, as artifact for an FMCAD 2022 paper. Includes a technical report rendering key definitions and result statements into more readable mathematical vernacular.

FMCAD 2022 submission

Release of MIL definition, OoO and IO semantics, metatheory, and tools in HOL4 and CakeML, as supplementary material of a paper submitted to FMCAD 2022. Includes a technical report rendering key definitions and result statements into more readable mathematical vernacular.