ChangeLog

   1 version: 0.12
   2 date: Sun Oct  3 20:47:11 CEST 2004
   3 changes:
   4     - reduce memory requirements
   5     - add cdd2polylib.pl
   6     - add patch for NTL 5.3.2
   7     - experimental support for Ehrhart series
   8     - compile fix on systems that lack <getopt.h>
   9 version: 0.11
  10 date: Sat Sep 18 14:49:40 CEST 2004
  11 changes:
  12     - fix minor bugs
  13     - find and use PIP if available
  14     - don't overallocate matrices on newer PolyLibs
  15     - verification program for enumeration of integer projections
  16     - summation of enumerations
  17     - avoid gccisms
  18     - support older versions of GMP
  19 ---
  20 version: 0.10
  21 date: Tue Jul  6 22:09:11 CEST 2004
  22 changes:
  23     - install header files
  24     - modulo representation changed to fractionals
  25     - perform some simplifications on the modulo representation
  26     - barvinok_enumerate returns a malloc'ed evalue
  27     - a few bugs in barvinok_enumerate_e removed
  28     - optionally print an indication of the size of an enumeration
  29     - emask added
  30     - bug in triangularization fixed
  31     - bug in polyhedron reduction fixed
  32     - verif_ehrhart.c should compile on C89 systems again
  33 ---
  34 version: 0.09
  35 changes:
  36     - bug in polyhedron reduction fixed
  37 ---
  38 version: 0.08
  39 date: Sun Feb 22 21:15:00 CET 2004
  40 changes:
  41     - remove remaining part of Kristof's Ehrhart manipulation code
  42     - optimize modulo expression based on validity domain
  43     - support partition evalues
  44     - factor out 1D polytopes
  45     - validity domains can now be unions of polytopes
  46     - optionally convert modulo representation to lookup-table
  47     - rename indicator to relation
  48     - add DomainIncludes
  49 ---
  50 version: 0.07
  51 changes:
  52     - support "indicator" evalues
  53     - support equalities for modulo representation
  54 ---
  55 version: 0.06
  56 changes:
  57     - remove part of Kristof's Ehrhart manipulation code
  58     - partial support for modulo respresentation
  59     - support cvs version of PolyLib
  60 ---
  61 version: 0.05
  62 date: Thu Nov 27 13:35:59 CET 2003
  63 changes:
  64     - |-
  65       include code from Kristof Beyls for manipulating Ehrhart
  66       polynomials
  67     - |-
  68       implement barvinok_enumerate for constructing Ehrhart
  69       polynomials using barvinok's algorithm
  70 ---
  71 version: 0.04
  72 date: Thu Nov  6 01:36:25 CET 2003
  73 changes:
  74     - |-
  75       allow specification of max #constraints
  76       for those without automatically growing chernikova tables
  77     - fix a few small bugs
  78     - some minor optimizations
  79 ---
  80 version: 0.03
  81 date: Mon Nov  3 16:35:57 CET 2003
  82 changes:
  83     - fix a number of bugs
  84     - add tests
  85 ---
  86 version: 0.02
  87 date: Mon Oct 20 14:15:45 CEST 2003
  88 changes:
  89     - change name from count to barvinok_count
  90     - return -1 if polyhedron is unbounded
  91     - trivially optimize counting in presence of some independent constraints