add isl_set_upper_bound_si
[isl.git] / ChangeLog
blob506e95d9e4bf9d33613e261735715f1a540a7fe7
1 version: 0.08
2 date: Fri Oct 21 12:36:20 CEST 2011
3 changes:
4         - improved parsing
5         - drop isl_div abstraction
6         - rename isl_dim to isl_space
7         - |-
8           explicitly differentiate between spaces of maps,
9           sets and parameter sets
10         - add support for identifiers
11         - add support for (piecewise) multi quasi-affine expressions
12         - preliminary Python bindings
13 ---
14 version: 0.07
15 date: Tue Jul 12 19:34:51 CEST 2011
16 changes:
17         - hide internal structures of isl_div and isl_constraint
18         - preliminary scheduling
19         - add support for local spaces and (piecewise) quasi-affine expressions
20 ---
21 version: 0.06
22 date: Fri Mar 18 15:59:16 CET 2011
23 changes:
24         - improved parsing
25         - consistency changes in API
26         - hide internal structure of isl_ctx
27 ---
28 version: 0.05.1
29 date: Wed Jan  5 10:21:42 CET 2011
30 changes:
31         - fix simple symmetry detection in parametric integer programming
32 ---
33 version: 0.05
34 date: Thu Dec 23 17:03:14 CET 2010
35 changes:
36         - rename header files from isl_header.h to isl/header.h
37         - add higher level interface for dependence analysis
38         - improved argument parsing
39         - optionally triangulate domains during Bernstein expansion
40         - support extended PolyLib format
41         - hide internal structure of some data types
42         - improved coalescing
43         - add simple symmetry detection in parametric integer programming
44 ---
45 version: 0.04
46 date: Fri Sep 10 12:57:50 CEST 2010
47 changes:
48         - rename isl_pw_qpolynomial_fold_add
49         - add isl_map_apply_pw_qpolynomial_fold
50         - support named and nested spaces
51         - support union sets and maps
52         - add public API for matrices
53 ---
54 version: 0.03
55 date: Tue Jun 29 13:16:46 CEST 2010
56 changes:
57         - new printing functions
58         - support for "may" accesses in dependence analysis
59         - improved coalescing
60         - improved transitive closure
61         - fix several hard to trigger bugs
62         - improved argument parsing
63         - support parametric vertex enumeration for barvinok
64         - optionally use Bernstein expansion to compute bounds