POLYLIB 4.19b3
==============
released, jun-06-00, Vincent Loechner.
- Check for empty polyhedron in Find_m_faces (polyparam.c) _after_
  computing the true combined polyhedron and context (bug report from
  Bart Kienhuis <kienhuis@eecs.berkeley.edu>, 06/06/00)

POLYLIB 4.19b2
==============
unreleased, jun-00, Vincent Loechner.
- Elimination of equalities between parameters (polyparam.c, ehrhart.c)
  done.
- Corrections in configure script
- Correction of an old bug in GenParamPolyhedron (polyparam.c),
  which occured only when there are no parameters and rational
  vertices.
- Added more tests in the Test/ subdirectory.

POLYLIB 4.19b1
==============
unreleased, may-25-00, Vincent Loechner.
Major update.
- 2 bug corrections in eval_ehrhart.c : negative modulo when computing
  a periodic, and double to int conversion failed (added a call to rint).
- Rewrote PreProcess in ehrhart.c. Better check of degenerate domain.
- Elimination of useless parameters in polyparam.c. Also modified
  Ehrhart to re-build the original context.
- Read the name of the parameters at the end of the input (param.[hc]):
  one optional line containing a space separated list of strings.
- Added a program that checks correct Ehrhart polynomials computations.
  (source/verif_ehrhart.c)
  verif_ehrhart is called on the set of examples by 'make longtest'.
  Rewrote Test/Makefile to make it easily configurable.
- Reorganized the Test subdirectory.
- Reorganized the Makefile and configure.in from Bart's first (nice!)
  try. Many thanks to Bart Kienhuis <kienhuis@eecs.berkeley.edu>

POLYLIB 4.16
============
released oct-21-99, Vincent Loechner
- overflow in TestRank (polyparam.c), handled using GNUMP.
- special release for Tanguy :)

POLYLIB 4.14
============
released may-17-99, Vincent Loechner
- more minor changes in the Makefiles.
- corrected a bug in pp: not all the vertices were found when
  there was an equality between parameters.

POLYLIB 4.12
============
released apr-20-99, Vincent Loechner
- Reorganized the directories and improved the Makefiles.
  Build dynamic libraries, added an automatic installation procedure.
- some minor changes in the code.

POLYLIB 4.10
============
released feb/mar-99, Vincent Loechner & Adrian Slowik
- integrated Adrian Slowik's GNU-MP port of ehrhart to eliminate all
  overflows. Vincent wrote the integration to the standard version :
  if 64 (or 32) bits are not enough for a computation, everything is
  converted into MP-numbers and the computations go on. Systematic
  use of GNU-MP would substantifically slow down the program.
  Many thanks to :
  Adrian Slowik, Universitaet-GH Paderborn, adrian@uni-paderborn.de
- corrected an old bug in Matrix_Read (!). Test/e3 and others did not pass.
  replaced atoi by strtol (HPUX compatibility).

POLYLIB 4.0b3
=============
dec-98, Vincent Loechner
- quick workaround for a bug in the initial enumeration for computing
  ehrhart polynomials. This routine still needs to be rewritten to
  eliminate the 'degenerated domain' message. To be done soon.

POLYLIB 4.0b2
=============
released 17-oct-98, Vincent Loechner
- corrected a bug in PolyhedronEnumerate to treat polyhedra
  with 0 parameters.

POLYLIB 4.0b1
=============
27-mar-98, Vincent Loechner and Doran Wilde
- reorganization of files : Obj.OSTYPE directories,
  creation of libraries (.a)
  the new directory structure is :
  ./           sources for the polylib
  ./Test       test suite
  ./arithlib   arithmetic library (CRI, ENSMP)
  ./Obj.*      one of these directory is created for each system
               and for each type of integer (type 'Value': 32/64 bits)

POLYLIB 4.0
=============
nov-97, Olivier Albiez
- polyhedron.c : calls to arithmetic library from CRI (ENSMP Paris)
  (authors: Francois Irigoin, Remi Triolet, Fabien Coelho)
feb-98, Vincent Loechner
- polyparam.c and ehrhart.c : calls to arithmetic library.
- some bug corrections

POLYLIB 3.0b9
=============
released 16-jul-97, Vincent Loechner
- Ehrhart polynomials evaluation functions (Emmanuel Jeannot)
- treat polyhedra with 0 parameters (Xavier Redon)

POLYLIB 3.0b8
=============
released on http://icps.u-strasbg.fr/~loechner/polylib: 16-jun-97
- some bug corrections
- Polyhedron_Enumerate returns a value (which is a nice thing :)

POLYLIB 3.0b[0-7]
=================
b7: 07-apr-97, Vincent Loechner
- various bug corrections

POLYLIB 3.0
===========
Doran Wilde
- added : Ehrhart Polynomials computation 

POLYLIB 2.0
===========
12-dec-95, Vincent Loechner
- added : parameterized vertices computation 


POLYLIB 1.1
===========
09-mar-95
Irisa standard release.

