All releases of isl
Release Notes: This release mainly brings improved argument parsing and improved support for parameter sets.
Release Notes: This release makes an explicit distinction between spaces of maps, sets, and parameter sets. It also introduces identifiers and multi-quasi-affine expressions.
Release Notes: This release mainly adds support for piecewise quasi-affine expressions.
Release Notes: This release mainly features an improved parser and some changes to the API that improve consistency.
Release Notes: This release fixes a bug in the parametric integer programming symmetry detection.
Release Notes: This release adds support for the extended PolyLib format and includes minor improvements to dependency analysis, Bernstein expansion, and parametric integer programming, amongst others.
Release Notes: This release mainly adds support for named and nested spaces and for union sets and maps.
Release Notes: This release fixes some bugs, improves dependence analysis, coalescing, and the transitive closure operation, and adds parametric vertex enumeration and Bernstein expansion.
Release Notes: A new and improved version of parametric integer programming, dependence analysis, a transitive closure operation, a proper input/output format and support for piecewise quasipolynomials have been added. The interface with PolyLib had been removed and placed in a separate isl-polylib package.
Release Notes: Initial release.
