Abstract Domain Library, a C++ library implementing the octagon domain in CPU and GPU. (may add more abstract domains in the future!)
Primary LanguageC++MIT LicenseMIT