octagon-domain

There are 0 repository under octagon-domain topic.

• IITH-Compilers / UTVPI-OA

  Algorithms for finding tight UTVPI (octagonal) over-approximations of polyhedra using linear programming and Fourier-Motzkin elimination

  polyhedraoctagon-domainfourier-motzkin-eliminationlinear-programmingover-approximations
  Language:C++ 3

• flisboac / adl

  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
  Language:C++ 1

• IITH-Compilers / ISL-UTVPI

  First-cut implementation of two newly discovered Efficient Algorithms to compute the tightest octagonal over-approximation of arbitary Polyhedra

  abstract-interpretationapproximation-algorithmsisloctagon-domainpolyhedra
  Language:C 1