Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with octagon-domain
A curated list of projects in awesome lists tagged with octagon-domain .
https://github.com/iith-compilers/utvpi-oa
Algorithms for finding tight UTVPI (octagonal) over-approximations of polyhedra using linear programming and Fourier-Motzkin elimination
fourier-motzkin-elimination linear-programming octagon-domain over-approximations polyhedra
Last synced: 24 Dec 2024
https://github.com/iith-compilers/isl-utvpi
First-cut implementation of two newly discovered Efficient Algorithms to compute the tightest octagonal over-approximation of arbitary Polyhedra
abstract-interpretation approximation-algorithms isl octagon-domain polyhedra
Last synced: 24 Dec 2024