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