Newer
Older
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