2 date: Tue Jul 12 19:34:51 CEST 2011
4 - hide internal structures of isl_div and isl_constraint
5 - preliminary scheduling
6 - add support for local spaces and (piecewise) quasi-affine expressions
9 date: Fri Mar 18 15:59:16 CET 2011
12 - consistency changes in API
13 - hide internal structure of isl_ctx
16 date: Wed Jan 5 10:21:42 CET 2011
18 - fix simple symmetry detection in parametric integer programming
21 date: Thu Dec 23 17:03:14 CET 2010
23 - rename header files from isl_header.h to isl/header.h
24 - add higher level interface for dependence analysis
25 - improved argument parsing
26 - optionally triangulate domains during Bernstein expansion
27 - support extended PolyLib format
28 - hide internal structure of some data types
30 - add simple symmetry detection in parametric integer programming
33 date: Fri Sep 10 12:57:50 CEST 2010
35 - rename isl_pw_qpolynomial_fold_add
36 - add isl_map_apply_pw_qpolynomial_fold
37 - support named and nested spaces
38 - support union sets and maps
39 - add public API for matrices
42 date: Tue Jun 29 13:16:46 CEST 2010
44 - new printing functions
45 - support for "may" accesses in dependence analysis
47 - improved transitive closure
48 - fix several hard to trigger bugs
49 - improved argument parsing
50 - support parametric vertex enumeration for barvinok
51 - optionally use Bernstein expansion to compute bounds