An abstract interpreter for an integer interval domain supporting basic operations for simple C programs
Primary LanguageC++MIT LicenseMIT