Released code for the paper: Formalizing SPARCv8 Instruction Set Architecture in Coq (SCP'20)
Primary LanguageCoqMIT LicenseMIT