| version: 0.08 |
| date: Fri Oct 21 12:36:20 CEST 2011 |
| changes: |
| - improved parsing |
| - drop isl_div abstraction |
| - rename isl_dim to isl_space |
| - |- |
| explicitly differentiate between spaces of maps, |
| sets and parameter sets |
| - add support for identifiers |
| - add support for (piecewise) multi quasi-affine expressions |
| - preliminary Python bindings |
| --- |
| version: 0.07 |
| date: Tue Jul 12 19:34:51 CEST 2011 |
| changes: |
| - hide internal structures of isl_div and isl_constraint |
| - preliminary scheduling |
| - add support for local spaces and (piecewise) quasi-affine expressions |
| --- |
| version: 0.06 |
| date: Fri Mar 18 15:59:16 CET 2011 |
| changes: |
| - improved parsing |
| - consistency changes in API |
| - hide internal structure of isl_ctx |
| --- |
| version: 0.05.1 |
| date: Wed Jan 5 10:21:42 CET 2011 |
| changes: |
| - fix simple symmetry detection in parametric integer programming |
| --- |
| version: 0.05 |
| date: Thu Dec 23 17:03:14 CET 2010 |
| changes: |
| - rename header files from isl_header.h to isl/header.h |
| - add higher level interface for dependence analysis |
| - improved argument parsing |
| - optionally triangulate domains during Bernstein expansion |
| - support extended PolyLib format |
| - hide internal structure of some data types |
| - improved coalescing |
| - add simple symmetry detection in parametric integer programming |
| --- |
| version: 0.04 |
| date: Fri Sep 10 12:57:50 CEST 2010 |
| changes: |
| - rename isl_pw_qpolynomial_fold_add |
| - add isl_map_apply_pw_qpolynomial_fold |
| - support named and nested spaces |
| - support union sets and maps |
| - add public API for matrices |
| --- |
| version: 0.03 |
| date: Tue Jun 29 13:16:46 CEST 2010 |
| changes: |
| - new printing functions |
| - support for "may" accesses in dependence analysis |
| - improved coalescing |
| - improved transitive closure |
| - fix several hard to trigger bugs |
| - improved argument parsing |
| - support parametric vertex enumeration for barvinok |
| - optionally use Bernstein expansion to compute bounds |