isl_tab_lexmin_add_eq: make sure the tableau has enough room
[isl.git] / ChangeLog
blob6d71b77caf0cd6bd2e8076140e5f8337a1f064d1
1 version: 0.17
2 date: Tue May  3 14:26:43 CEST 2016
3 changes:
4         - optionally combine SCCs incrementally in scheduler
5         - optionally maximize coincidence in scheduler
6         - optionally avoid loop coalescing in scheduler
7         - fix handling of nested integer divisions
8         - optionally detect min/max expressions during AST generation
9         - minor AST generator improvements
10         - simplify stride constraints
11         - improve support for expansions in schedule trees
12 ---
13 version: 0.16.1
14 date: Thu Jan 14 18:08:06 CET 2016
15 changes:
16         - fix bug in simplification
17 ---
18 version: 0.16
19 date: Tue Jan 12 09:56:16 CET 2016
20 changes:
21         - add 32 bit integer optimization for IMath
22         - minor AST generator improvements
23         - add isl_union_flow_get_full_{may,must}_dependence
24         - minor improvements to Python bindings
25         - minor improvements to set and map printing
26 ---
27 version: 0.15
28 date: Thu Jun 11 12:45:33 CEST 2015
29 changes:
30         - improve coalescing
31         - add isl_union_access_info_compute_flow
32         - add mark nodes in AST
33         - add isl_union_pw_aff and isl_multi_union_pw_aff
34         - add schedule trees
35         - deprecate band forests
36         - deprecate separation_class AST generation option
37         - introduce isl_bool and isl_stat types
38 ---
39 version: 0.14.1
40 date: Thu Apr  9 12:57:23 CEST 2015
41 changes:
42         - fix bug in affine expression normalization
43         - fix handling of conditional validity constraints
44 ---
45 version: 0.14
46 date: Sat Oct 25 16:08:47 CEST 2014
47 changes:
48         - support IMath as an optional replacement for GMP
49         - minor AST generator improvements
50 ---
51 version: 0.13
52 date: Mon Apr 14 11:08:45 CEST 2014
53 changes:
54         - deprecate isl_int
55         - improved support for multi piecewise quasi-affine expressions
56         - allow the user to impose a bound on the number of low-level operations
57         - add isl_id_to_ast_expr and isl_id_to_pw_aff
58         - add isl_schedule_constraints
59         - hide internal structure of isl_vec
60         - remove support for piplib
61 ---
62 version: 0.12.2
63 date: Sun Jan 12 12:09:46 CET 2014
64 changes:
65         - MinGW-w64 build fix
66         - fix simplification bug
67 ---
68 version: 0.12.1
69 date: Wed Jul 24 12:54:46 CEST 2013
70 changes:
71         - handle malloc returning NULL on zero-size allocation
72         - fix regression in AST generator
73 ---
74 version: 0.12
75 date: Sun Jun 23 20:23:05 CEST 2013
76 changes:
77         - add isl_val abstraction
78 ---
79 version: 0.11.2
80 date: Tue Apr  9 18:45:10 CEST 2013
81 changes:
82         - make code generation output the same on Solaris
83         - fix some hard to trigger bugs
84 ---
85 version: 0.11.1
86 date: Mon Dec 10 11:55:30 CET 2012
87 changes:
88         - add LICENSE file to distribution
89         - make code generation output independent of endianness
90 ---
91 version: 0.11
92 date: Mon Dec  3 08:17:18 CET 2012
93 changes:
94         - change license from LGPL 2.1 to MIT
95         - add support for multi piecewise quasi-affine expressions
96         - add code generation
97         - various minor bug fixes
98 ---
99 version: 0.10
100 date: Sun Jun  3 18:00:16 CEST 2012
101 changes:
102         - support for interaction with dependence analysis
103         - add public API for vectors
104         - improved support for (piecewise) multi quasi-affine expressions
105         - various minor bug fixes
107 version: 0.09
108 date: Sat Dec 17 18:19:26 CET 2011
109 changes:
110         - improved argument parsing
111         - hide internal structure of isl_options
112         - improved support for parameter sets
113         - configurable scheduling
115 version: 0.08
116 date: Fri Oct 21 12:36:20 CEST 2011
117 changes:
118         - improved parsing
119         - drop isl_div abstraction
120         - rename isl_dim to isl_space
121         - |-
122           explicitly differentiate between spaces of maps,
123           sets and parameter sets
124         - add support for identifiers
125         - add support for (piecewise) multi quasi-affine expressions
126         - preliminary Python bindings
128 version: 0.07
129 date: Tue Jul 12 19:34:51 CEST 2011
130 changes:
131         - hide internal structures of isl_div and isl_constraint
132         - preliminary scheduling
133         - add support for local spaces and (piecewise) quasi-affine expressions
135 version: 0.06
136 date: Fri Mar 18 15:59:16 CET 2011
137 changes:
138         - improved parsing
139         - consistency changes in API
140         - hide internal structure of isl_ctx
142 version: 0.05.1
143 date: Wed Jan  5 10:21:42 CET 2011
144 changes:
145         - fix simple symmetry detection in parametric integer programming
147 version: 0.05
148 date: Thu Dec 23 17:03:14 CET 2010
149 changes:
150         - rename header files from isl_header.h to isl/header.h
151         - add higher level interface for dependence analysis
152         - improved argument parsing
153         - optionally triangulate domains during Bernstein expansion
154         - support extended PolyLib format
155         - hide internal structure of some data types
156         - improved coalescing
157         - add simple symmetry detection in parametric integer programming
159 version: 0.04
160 date: Fri Sep 10 12:57:50 CEST 2010
161 changes:
162         - rename isl_pw_qpolynomial_fold_add
163         - add isl_map_apply_pw_qpolynomial_fold
164         - support named and nested spaces
165         - support union sets and maps
166         - add public API for matrices
168 version: 0.03
169 date: Tue Jun 29 13:16:46 CEST 2010
170 changes:
171         - new printing functions
172         - support for "may" accesses in dependence analysis
173         - improved coalescing
174         - improved transitive closure
175         - fix several hard to trigger bugs
176         - improved argument parsing
177         - support parametric vertex enumeration for barvinok
178         - optionally use Bernstein expansion to compute bounds