An intermediate representation of Michelson smart contracts designed to ease static analysis of smart contracts
Primary LanguageOCamlMIT LicenseMIT