2 date: Thu Jan 14 18:08:06 CET 2016
4 - fix bug in simplification
7 date: Tue Jan 12 09:56:16 CET 2016
9 - add 32 bit integer optimization for IMath
10 - minor AST generator improvements
11 - add isl_union_flow_get_full_{may,must}_dependence
12 - minor improvements to Python bindings
13 - minor improvements to set and map printing
16 date: Thu Jun 11 12:45:33 CEST 2015
19 - add isl_union_access_info_compute_flow
20 - add mark nodes in AST
21 - add isl_union_pw_aff and isl_multi_union_pw_aff
23 - deprecate band forests
24 - deprecate separation_class AST generation option
25 - introduce isl_bool and isl_stat types
28 date: Thu Apr 9 12:57:23 CEST 2015
30 - fix bug in affine expression normalization
31 - fix handling of conditional validity constraints
34 date: Sat Oct 25 16:08:47 CEST 2014
36 - support IMath as an optional replacement for GMP
37 - minor AST generator improvements
40 date: Mon Apr 14 11:08:45 CEST 2014
43 - improved support for multi piecewise quasi-affine expressions
44 - allow the user to impose a bound on the number of low-level operations
45 - add isl_id_to_ast_expr and isl_id_to_pw_aff
46 - add isl_schedule_constraints
47 - hide internal structure of isl_vec
48 - remove support for piplib
51 date: Sun Jan 12 12:09:46 CET 2014
54 - fix simplification bug
57 date: Wed Jul 24 12:54:46 CEST 2013
59 - handle malloc returning NULL on zero-size allocation
60 - fix regression in AST generator
63 date: Sun Jun 23 20:23:05 CEST 2013
65 - add isl_val abstraction
68 date: Tue Apr 9 18:45:10 CEST 2013
70 - make code generation output the same on Solaris
71 - fix some hard to trigger bugs
74 date: Mon Dec 10 11:55:30 CET 2012
76 - add LICENSE file to distribution
77 - make code generation output independent of endianness
80 date: Mon Dec 3 08:17:18 CET 2012
82 - change license from LGPL 2.1 to MIT
83 - add support for multi piecewise quasi-affine expressions
85 - various minor bug fixes
88 date: Sun Jun 3 18:00:16 CEST 2012
90 - support for interaction with dependence analysis
91 - add public API for vectors
92 - improved support for (piecewise) multi quasi-affine expressions
93 - various minor bug fixes
96 date: Sat Dec 17 18:19:26 CET 2011
98 - improved argument parsing
99 - hide internal structure of isl_options
100 - improved support for parameter sets
101 - configurable scheduling
104 date: Fri Oct 21 12:36:20 CEST 2011
107 - drop isl_div abstraction
108 - rename isl_dim to isl_space
110 explicitly differentiate between spaces of maps,
111 sets and parameter sets
112 - add support for identifiers
113 - add support for (piecewise) multi quasi-affine expressions
114 - preliminary Python bindings
117 date: Tue Jul 12 19:34:51 CEST 2011
119 - hide internal structures of isl_div and isl_constraint
120 - preliminary scheduling
121 - add support for local spaces and (piecewise) quasi-affine expressions
124 date: Fri Mar 18 15:59:16 CET 2011
127 - consistency changes in API
128 - hide internal structure of isl_ctx
131 date: Wed Jan 5 10:21:42 CET 2011
133 - fix simple symmetry detection in parametric integer programming
136 date: Thu Dec 23 17:03:14 CET 2010
138 - rename header files from isl_header.h to isl/header.h
139 - add higher level interface for dependence analysis
140 - improved argument parsing
141 - optionally triangulate domains during Bernstein expansion
142 - support extended PolyLib format
143 - hide internal structure of some data types
144 - improved coalescing
145 - add simple symmetry detection in parametric integer programming
148 date: Fri Sep 10 12:57:50 CEST 2010
150 - rename isl_pw_qpolynomial_fold_add
151 - add isl_map_apply_pw_qpolynomial_fold
152 - support named and nested spaces
153 - support union sets and maps
154 - add public API for matrices
157 date: Tue Jun 29 13:16:46 CEST 2010
159 - new printing functions
160 - support for "may" accesses in dependence analysis
161 - improved coalescing
162 - improved transitive closure
163 - fix several hard to trigger bugs
164 - improved argument parsing
165 - support parametric vertex enumeration for barvinok
166 - optionally use Bernstein expansion to compute bounds