isl_basic_set_has_defining_inequalities: return isl_bool
[isl.git] / ChangeLog
blob249acdf37d591e92d3081831facb0ab781bb7709
1 version: 0.18
2 date: Sun Dec 18 11:01:58 CET 2016
3 changes:
4         - improve elimination of redundant existentially quantified variables
5         - improve coalescing
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
10 ---
11 version: 0.17.1
12 date: Fri May  6 12:02:48 CEST 2016
13 changes:
14         - fix bug in coalescing treatment
15 ---
16 version: 0.17
17 date: Tue May  3 14:26:43 CEST 2016
18 changes:
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
27 ---
28 version: 0.16.1
29 date: Thu Jan 14 18:08:06 CET 2016
30 changes:
31         - fix bug in simplification
32 ---
33 version: 0.16
34 date: Tue Jan 12 09:56:16 CET 2016
35 changes:
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
41 ---
42 version: 0.15
43 date: Thu Jun 11 12:45:33 CEST 2015
44 changes:
45         - improve coalescing
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
49         - add schedule trees
50         - deprecate band forests
51         - deprecate separation_class AST generation option
52         - introduce isl_bool and isl_stat types
53 ---
54 version: 0.14.1
55 date: Thu Apr  9 12:57:23 CEST 2015
56 changes:
57         - fix bug in affine expression normalization
58         - fix handling of conditional validity constraints
59 ---
60 version: 0.14
61 date: Sat Oct 25 16:08:47 CEST 2014
62 changes:
63         - support IMath as an optional replacement for GMP
64         - minor AST generator improvements
65 ---
66 version: 0.13
67 date: Mon Apr 14 11:08:45 CEST 2014
68 changes:
69         - deprecate isl_int
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
76 ---
77 version: 0.12.2
78 date: Sun Jan 12 12:09:46 CET 2014
79 changes:
80         - MinGW-w64 build fix
81         - fix simplification bug
82 ---
83 version: 0.12.1
84 date: Wed Jul 24 12:54:46 CEST 2013
85 changes:
86         - handle malloc returning NULL on zero-size allocation
87         - fix regression in AST generator
88 ---
89 version: 0.12
90 date: Sun Jun 23 20:23:05 CEST 2013
91 changes:
92         - add isl_val abstraction
93 ---
94 version: 0.11.2
95 date: Tue Apr  9 18:45:10 CEST 2013
96 changes:
97         - make code generation output the same on Solaris
98         - fix some hard to trigger bugs
99 ---
100 version: 0.11.1
101 date: Mon Dec 10 11:55:30 CET 2012
102 changes:
103         - add LICENSE file to distribution
104         - make code generation output independent of endianness
106 version: 0.11
107 date: Mon Dec  3 08:17:18 CET 2012
108 changes:
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
114 version: 0.10
115 date: Sun Jun  3 18:00:16 CEST 2012
116 changes:
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
122 version: 0.09
123 date: Sat Dec 17 18:19:26 CET 2011
124 changes:
125         - improved argument parsing
126         - hide internal structure of isl_options
127         - improved support for parameter sets
128         - configurable scheduling
130 version: 0.08
131 date: Fri Oct 21 12:36:20 CEST 2011
132 changes:
133         - improved parsing
134         - drop isl_div abstraction
135         - rename isl_dim to isl_space
136         - |-
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
143 version: 0.07
144 date: Tue Jul 12 19:34:51 CEST 2011
145 changes:
146         - hide internal structures of isl_div and isl_constraint
147         - preliminary scheduling
148         - add support for local spaces and (piecewise) quasi-affine expressions
150 version: 0.06
151 date: Fri Mar 18 15:59:16 CET 2011
152 changes:
153         - improved parsing
154         - consistency changes in API
155         - hide internal structure of isl_ctx
157 version: 0.05.1
158 date: Wed Jan  5 10:21:42 CET 2011
159 changes:
160         - fix simple symmetry detection in parametric integer programming
162 version: 0.05
163 date: Thu Dec 23 17:03:14 CET 2010
164 changes:
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
174 version: 0.04
175 date: Fri Sep 10 12:57:50 CEST 2010
176 changes:
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
183 version: 0.03
184 date: Tue Jun 29 13:16:46 CEST 2010
185 changes:
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