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