Giters

flisboac / adl

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

gpuoctagon-domainadlstatic-analysislibraryabstract-domain

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!).

License

MIT.

About

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

gpuoctagon-domainadlstatic-analysislibraryabstract-domain

License:MIT License

Languages

Language:C++ 97.4%Language:TeX 1.6%Language:CMake 0.9%Language:Makefile 0.2%