A tool for verifying C/C++ program transformations. Based on Alloy.
Primary LanguageAlloyMIT LicenseMIT