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