ChangeLog

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