2 date: Sun Dec 18 11:01:58 CET 2016
4 - improve elimination of redundant existentially quantified variables
6 - improve parametric integer programming
7 - preserve isolate option in isl_schedule_node_band_split
8 - print AST nodes in YAML format
9 - minor improvements to Python bindings
12 date: Fri May 6 12:02:48 CEST 2016
14 - fix bug in coalescing treatment
17 date: Tue May 3 14:26:43 CEST 2016
19 - optionally combine SCCs incrementally in scheduler
20 - optionally maximize coincidence in scheduler
21 - optionally avoid loop coalescing in scheduler
22 - fix handling of nested integer divisions
23 - optionally detect min/max expressions during AST generation
24 - minor AST generator improvements
25 - simplify stride constraints
26 - improve support for expansions in schedule trees
29 date: Thu Jan 14 18:08:06 CET 2016
31 - fix bug in simplification
34 date: Tue Jan 12 09:56:16 CET 2016
36 - add 32 bit integer optimization for IMath
37 - minor AST generator improvements
38 - add isl_union_flow_get_full_{may,must}_dependence
39 - minor improvements to Python bindings
40 - minor improvements to set and map printing
43 date: Thu Jun 11 12:45:33 CEST 2015
46 - add isl_union_access_info_compute_flow
47 - add mark nodes in AST
48 - add isl_union_pw_aff and isl_multi_union_pw_aff
50 - deprecate band forests
51 - deprecate separation_class AST generation option
52 - introduce isl_bool and isl_stat types
55 date: Thu Apr 9 12:57:23 CEST 2015
57 - fix bug in affine expression normalization
58 - fix handling of conditional validity constraints
61 date: Sat Oct 25 16:08:47 CEST 2014
63 - support IMath as an optional replacement for GMP
64 - minor AST generator improvements
67 date: Mon Apr 14 11:08:45 CEST 2014
70 - improved support for multi piecewise quasi-affine expressions
71 - allow the user to impose a bound on the number of low-level operations
72 - add isl_id_to_ast_expr and isl_id_to_pw_aff
73 - add isl_schedule_constraints
74 - hide internal structure of isl_vec
75 - remove support for piplib
78 date: Sun Jan 12 12:09:46 CET 2014
81 - fix simplification bug
84 date: Wed Jul 24 12:54:46 CEST 2013
86 - handle malloc returning NULL on zero-size allocation
87 - fix regression in AST generator
90 date: Sun Jun 23 20:23:05 CEST 2013
92 - add isl_val abstraction
95 date: Tue Apr 9 18:45:10 CEST 2013
97 - make code generation output the same on Solaris
98 - fix some hard to trigger bugs
101 date: Mon Dec 10 11:55:30 CET 2012
103 - add LICENSE file to distribution
104 - make code generation output independent of endianness
107 date: Mon Dec 3 08:17:18 CET 2012
109 - change license from LGPL 2.1 to MIT
110 - add support for multi piecewise quasi-affine expressions
111 - add code generation
112 - various minor bug fixes
115 date: Sun Jun 3 18:00:16 CEST 2012
117 - support for interaction with dependence analysis
118 - add public API for vectors
119 - improved support for (piecewise) multi quasi-affine expressions
120 - various minor bug fixes
123 date: Sat Dec 17 18:19:26 CET 2011
125 - improved argument parsing
126 - hide internal structure of isl_options
127 - improved support for parameter sets
128 - configurable scheduling
131 date: Fri Oct 21 12:36:20 CEST 2011
134 - drop isl_div abstraction
135 - rename isl_dim to isl_space
137 explicitly differentiate between spaces of maps,
138 sets and parameter sets
139 - add support for identifiers
140 - add support for (piecewise) multi quasi-affine expressions
141 - preliminary Python bindings
144 date: Tue Jul 12 19:34:51 CEST 2011
146 - hide internal structures of isl_div and isl_constraint
147 - preliminary scheduling
148 - add support for local spaces and (piecewise) quasi-affine expressions
151 date: Fri Mar 18 15:59:16 CET 2011
154 - consistency changes in API
155 - hide internal structure of isl_ctx
158 date: Wed Jan 5 10:21:42 CET 2011
160 - fix simple symmetry detection in parametric integer programming
163 date: Thu Dec 23 17:03:14 CET 2010
165 - rename header files from isl_header.h to isl/header.h
166 - add higher level interface for dependence analysis
167 - improved argument parsing
168 - optionally triangulate domains during Bernstein expansion
169 - support extended PolyLib format
170 - hide internal structure of some data types
171 - improved coalescing
172 - add simple symmetry detection in parametric integer programming
175 date: Fri Sep 10 12:57:50 CEST 2010
177 - rename isl_pw_qpolynomial_fold_add
178 - add isl_map_apply_pw_qpolynomial_fold
179 - support named and nested spaces
180 - support union sets and maps
181 - add public API for matrices
184 date: Tue Jun 29 13:16:46 CEST 2010
186 - new printing functions
187 - support for "may" accesses in dependence analysis
188 - improved coalescing
189 - improved transitive closure
190 - fix several hard to trigger bugs
191 - improved argument parsing
192 - support parametric vertex enumeration for barvinok
193 - optionally use Bernstein expansion to compute bounds