2 date: Fri Mar 18 15:59:16 CET 2011
5 - consistency changes in API
6 - hide internal structure of isl_ctx
9 date: Wed Jan 5 10:21:42 CET 2011
11 - fix simple symmetry detection in parametric integer programming
14 date: Thu Dec 23 17:03:14 CET 2010
16 - rename header files from isl_header.h to isl/header.h
17 - add higher level interface for dependence analysis
18 - improved argument parsing
19 - optionally triangulate domains during Bernstein expansion
20 - support extended PolyLib format
21 - hide internal structure of some data types
23 - add simple symmetry detection in parametric integer programming
26 date: Fri Sep 10 12:57:50 CEST 2010
28 - rename isl_pw_qpolynomial_fold_add
29 - add isl_map_apply_pw_qpolynomial_fold
30 - support named and nested spaces
31 - support union sets and maps
32 - add public API for matrices
35 date: Tue Jun 29 13:16:46 CEST 2010
37 - new printing functions
38 - support for "may" accesses in dependence analysis
40 - improved transitive closure
41 - fix several hard to trigger bugs
42 - improved argument parsing
43 - support parametric vertex enumeration for barvinok
44 - optionally use Bernstein expansion to compute bounds