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