Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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