ChangeLog


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

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