2 date: Sun Jun 3 18:00:16 CEST 2012
4 - support for interaction with dependence analysis
5 - add public API for vectors
6 - improved support for (piecewise) multi quasi-affine expressions
7 - various minor bug fixes
10 date: Sat Dec 17 18:19:26 CET 2011
12 - improved argument parsing
13 - hide internal structure of isl_options
14 - improved support for parameter sets
15 - configurable scheduling
18 date: Fri Oct 21 12:36:20 CEST 2011
21 - drop isl_div abstraction
22 - rename isl_dim to isl_space
24 explicitly differentiate between spaces of maps,
25 sets and parameter sets
26 - add support for identifiers
27 - add support for (piecewise) multi quasi-affine expressions
28 - preliminary Python bindings
31 date: Tue Jul 12 19:34:51 CEST 2011
33 - hide internal structures of isl_div and isl_constraint
34 - preliminary scheduling
35 - add support for local spaces and (piecewise) quasi-affine expressions
38 date: Fri Mar 18 15:59:16 CET 2011
41 - consistency changes in API
42 - hide internal structure of isl_ctx
45 date: Wed Jan 5 10:21:42 CET 2011
47 - fix simple symmetry detection in parametric integer programming
50 date: Thu Dec 23 17:03:14 CET 2010
52 - rename header files from isl_header.h to isl/header.h
53 - add higher level interface for dependence analysis
54 - improved argument parsing
55 - optionally triangulate domains during Bernstein expansion
56 - support extended PolyLib format
57 - hide internal structure of some data types
59 - add simple symmetry detection in parametric integer programming
62 date: Fri Sep 10 12:57:50 CEST 2010
64 - rename isl_pw_qpolynomial_fold_add
65 - add isl_map_apply_pw_qpolynomial_fold
66 - support named and nested spaces
67 - support union sets and maps
68 - add public API for matrices
71 date: Tue Jun 29 13:16:46 CEST 2010
73 - new printing functions
74 - support for "may" accesses in dependence analysis
76 - improved transitive closure
77 - fix several hard to trigger bugs
78 - improved argument parsing
79 - support parametric vertex enumeration for barvinok
82 date: Fri Oct 21 12:36:20 CEST 2011
84 - optionally use Bernstein expansion to compute bounds