ChangeLog

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