2 date: Thu Dec 23 17:03:14 CET 2010
4 - rename header files from isl_header.h to isl/header.h
5 - add higher level interface for dependence analysis
6 - improved argument parsing
7 - optionally triangulate domains during Bernstein expansion
8 - support extended PolyLib format
9 - hide internal structure of some data types
11 - add simple symmetry detection in parametric integer programming
14 date: Fri Sep 10 12:57:50 CEST 2010
16 - rename isl_pw_qpolynomial_fold_add
17 - add isl_map_apply_pw_qpolynomial_fold
18 - support named and nested spaces
19 - support union sets and maps
20 - add public API for matrices
23 date: Tue Jun 29 13:16:46 CEST 2010
25 - new printing functions
26 - support for "may" accesses in dependence analysis
28 - improved transitive closure
29 - fix several hard to trigger bugs
30 - improved argument parsing
31 - support parametric vertex enumeration for barvinok
32 - optionally use Bernstein expansion to compute bounds