3 date: Tue Jul 6 22:09:11 CEST 2004
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
12 - bug in triangularization fixed
13 - bug in polyhedron reduction fixed
14 - verif_ehrhart.c should compile on C89 systems again
18 - bug in polyhedron reduction fixed
21 date: Sun Feb 22 21:15:00 CET 2004
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
34 - support "indicator" evalues
35 - support equalities for modulo representation
39 - remove part of Kristof's Ehrhart manipulation code
40 - partial support for modulo respresentation
41 - support cvs version of PolyLib
44 date: Thu Nov 27 13:35:59 CET 2003
47 include code from Kristof Beyls for manipulating Ehrhart
50 implement barvinok_enumerate for constructing Ehrhart
51 polynomials using barvinok's algorithm
54 date: Thu Nov 6 01:36:25 CET 2003
57 allow specification of max #constraints
58 for those without automatically growing chernikova tables
59 - fix a few small bugs
60 - some minor optimizations
63 date: Mon Nov 3 16:35:57 CET 2003
65 - fix a number of bugs
69 date: Mon Oct 20 14:15:45 CEST 2003
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