2 date: Mon Dec 10 11:55:30 CET 2012
4 - add LICENSE file to distribution
5 - make code generation output independent of endianness
8 date: Mon Dec 3 08:17:18 CET 2012
10 - change license from LGPL 2.1 to MIT
11 - add support for multi piecewise quasi-affine expressions
13 - various minor bug fixes
16 date: Sun Jun 3 18:00:16 CEST 2012
18 - support for interaction with dependence analysis
19 - add public API for vectors
20 - improved support for (piecewise) multi quasi-affine expressions
21 - various minor bug fixes
24 date: Sat Dec 17 18:19:26 CET 2011
26 - improved argument parsing
27 - hide internal structure of isl_options
28 - improved support for parameter sets
29 - configurable scheduling
32 date: Fri Oct 21 12:36:20 CEST 2011
35 - drop isl_div abstraction
36 - rename isl_dim to isl_space
38 explicitly differentiate between spaces of maps,
39 sets and parameter sets
40 - add support for identifiers
41 - add support for (piecewise) multi quasi-affine expressions
42 - preliminary Python bindings
45 date: Tue Jul 12 19:34:51 CEST 2011
47 - hide internal structures of isl_div and isl_constraint
48 - preliminary scheduling
49 - add support for local spaces and (piecewise) quasi-affine expressions
52 date: Fri Mar 18 15:59:16 CET 2011
55 - consistency changes in API
56 - hide internal structure of isl_ctx
59 date: Wed Jan 5 10:21:42 CET 2011
61 - fix simple symmetry detection in parametric integer programming
64 date: Thu Dec 23 17:03:14 CET 2010
66 - rename header files from isl_header.h to isl/header.h
67 - add higher level interface for dependence analysis
68 - improved argument parsing
69 - optionally triangulate domains during Bernstein expansion
70 - support extended PolyLib format
71 - hide internal structure of some data types
73 - add simple symmetry detection in parametric integer programming
76 date: Fri Sep 10 12:57:50 CEST 2010
78 - rename isl_pw_qpolynomial_fold_add
79 - add isl_map_apply_pw_qpolynomial_fold
80 - support named and nested spaces
81 - support union sets and maps
82 - add public API for matrices
85 date: Tue Jun 29 13:16:46 CEST 2010
87 - new printing functions
88 - support for "may" accesses in dependence analysis
90 - improved transitive closure
91 - fix several hard to trigger bugs
92 - improved argument parsing
93 - support parametric vertex enumeration for barvinok
96 date: Fri Oct 21 12:36:20 CEST 2011
98 - optionally use Bernstein expansion to compute bounds