2 date: Thu Apr 9 12:57:23 CEST 2015
4 - fix bug in affine expression normalization
5 - fix handling of conditional validity constraints
8 date: Sat Oct 25 16:08:47 CEST 2014
10 - support IMath as an optional replacement for GMP
11 - minor AST generator improvements
14 date: Mon Apr 14 11:08:45 CEST 2014
17 - improved support for multi piecewise quasi-affine expressions
18 - allow the user to impose a bound on the number of low-level operations
19 - add isl_id_to_ast_expr and isl_id_to_pw_aff
20 - add isl_schedule_constraints
21 - hide internal structure of isl_vec
22 - remove support for piplib
25 date: Sun Jan 12 12:09:46 CET 2014
28 - fix simplification bug
31 date: Wed Jul 24 12:54:46 CEST 2013
33 - handle malloc returning NULL on zero-size allocation
34 - fix regression in AST generator
37 date: Sun Jun 23 20:23:05 CEST 2013
39 - add isl_val abstraction
42 date: Tue Apr 9 18:45:10 CEST 2013
44 - make code generation output the same on Solaris
45 - fix some hard to trigger bugs
48 date: Mon Dec 10 11:55:30 CET 2012
50 - add LICENSE file to distribution
51 - make code generation output independent of endianness
54 date: Mon Dec 3 08:17:18 CET 2012
56 - change license from LGPL 2.1 to MIT
57 - add support for multi piecewise quasi-affine expressions
59 - various minor bug fixes
62 date: Sun Jun 3 18:00:16 CEST 2012
64 - support for interaction with dependence analysis
65 - add public API for vectors
66 - improved support for (piecewise) multi quasi-affine expressions
67 - various minor bug fixes
70 date: Sat Dec 17 18:19:26 CET 2011
72 - improved argument parsing
73 - hide internal structure of isl_options
74 - improved support for parameter sets
75 - configurable scheduling
78 date: Fri Oct 21 12:36:20 CEST 2011
81 - drop isl_div abstraction
82 - rename isl_dim to isl_space
84 explicitly differentiate between spaces of maps,
85 sets and parameter sets
86 - add support for identifiers
87 - add support for (piecewise) multi quasi-affine expressions
88 - preliminary Python bindings
91 date: Tue Jul 12 19:34:51 CEST 2011
93 - hide internal structures of isl_div and isl_constraint
94 - preliminary scheduling
95 - add support for local spaces and (piecewise) quasi-affine expressions
98 date: Fri Mar 18 15:59:16 CET 2011
101 - consistency changes in API
102 - hide internal structure of isl_ctx
105 date: Wed Jan 5 10:21:42 CET 2011
107 - fix simple symmetry detection in parametric integer programming
110 date: Thu Dec 23 17:03:14 CET 2010
112 - rename header files from isl_header.h to isl/header.h
113 - add higher level interface for dependence analysis
114 - improved argument parsing
115 - optionally triangulate domains during Bernstein expansion
116 - support extended PolyLib format
117 - hide internal structure of some data types
118 - improved coalescing
119 - add simple symmetry detection in parametric integer programming
122 date: Fri Sep 10 12:57:50 CEST 2010
124 - rename isl_pw_qpolynomial_fold_add
125 - add isl_map_apply_pw_qpolynomial_fold
126 - support named and nested spaces
127 - support union sets and maps
128 - add public API for matrices
131 date: Tue Jun 29 13:16:46 CEST 2010
133 - new printing functions
134 - support for "may" accesses in dependence analysis
135 - improved coalescing
136 - improved transitive closure
137 - fix several hard to trigger bugs
138 - improved argument parsing
139 - support parametric vertex enumeration for barvinok
140 - optionally use Bernstein expansion to compute bounds