flisboac/adl

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

C++MIT

ADL - An Abstract Domains' Library

ADL is a C++ library implementing the octagon domain in CPU and GPU. (may add more abstract domains in the future!).

MIT.