hooks to count the input and output size in bits
[barvinok.git] / ChangeLog
blobec23612d274c0865df23a6f0eca27c653cc5ef1d
1 ---
2 version: 0.10
3 date: Tue Jul  6 22:09:11 CEST 2004
4 changes:
5     - install header files
6     - modulo representation changed to fractionals
7     - perform some simplifications on the modulo representation
8     - barvinok_enumerate returns a malloc'ed evalue
9     - a few bugs in barvinok_enumerate_e removed
10     - optionally print an indication of the size of an enumeration
11     - emask added
12     - bug in triangularization fixed
13     - bug in polyhedron reduction fixed
14     - verif_ehrhart.c should compile on C89 systems again
15 ---
16 version: 0.09
17 changes:
18     - bug in polyhedron reduction fixed
19 ---
20 version: 0.08
21 date: Sun Feb 22 21:15:00 CET 2004
22 changes:
23     - remove remaining part of Kristof's Ehrhart manipulation code
24     - optimize modulo expression based on validity domain
25     - support partition evalues
26     - factor out 1D polytopes
27     - validity domains can now be unions of polytopes
28     - optionally convert modulo representation to lookup-table
29     - rename indicator to relation
30     - add DomainIncludes
31 ---
32 version: 0.07
33 changes:
34     - support "indicator" evalues
35     - support equalities for modulo representation
36 ---
37 version: 0.06
38 changes:
39     - remove part of Kristof's Ehrhart manipulation code
40     - partial support for modulo respresentation
41     - support cvs version of PolyLib
42 ---
43 version: 0.05
44 date: Thu Nov 27 13:35:59 CET 2003
45 changes:
46     - |-
47       include code from Kristof Beyls for manipulating Ehrhart
48       polynomials
49     - |-
50       implement barvinok_enumerate for constructing Ehrhart
51       polynomials using barvinok's algorithm
52 ---
53 version: 0.04
54 date: Thu Nov  6 01:36:25 CET 2003
55 changes:
56     - |-
57       allow specification of max #constraints 
58       for those without automatically growing chernikova tables
59     - fix a few small bugs
60     - some minor optimizations
61 ---
62 version: 0.03
63 date: Mon Nov  3 16:35:57 CET 2003
64 changes:
65     - fix a number of bugs
66     - add tests
67 ---
68 version: 0.02
69 date: Mon Oct 20 14:15:45 CEST 2003
70 changes:
71     - change name from count to barvinok_count
72     - return -1 if polyhedron is unbounded
73     - trivially optimize counting in presence of some independent constraints