2 date: Fri Sep 10 12:57:50 CEST 2010
4 - rename isl_pw_qpolynomial_fold_add
5 - add isl_map_apply_pw_qpolynomial_fold
6 - support named and nested spaces
7 - support union sets and maps
8 - add public API for matrices
11 date: Tue Jun 29 13:16:46 CEST 2010
13 - new printing functions
14 - support for "may" accesses in dependence analysis
16 - improved transitive closure
17 - fix several hard to trigger bugs
18 - improved argument parsing
19 - support parametric vertex enumeration for barvinok
20 - optionally use Bernstein expansion to compute bounds