Designed and developed by Tobias Grosser, Oleksandr Zinenko and PollyLabs contributors.

This work is powered by Emscripten, MathJax, D3.js, highlight.js, and PyPy.js.

Tutorial

Our Presburger Formulas and Polyhedral Compilation Tutorial provides documentation on how to use isl and isl python. However, it currently lacks documentation of the AST generation functionality.

Publications

isl: An Integer Set Library for the Polyhedral Model
Sven Verdoolaege
Lecture notes in computer science - mathematical software (ICMS), 2010
Details

Polyhedral AST generation is more than scanning polyhedra
Tobias Grosser, Sven Verdoolaege, Albert Cohen
ACM transactions on programming languages and systems (TOPLAS), 2015
Details