ChangeLog

   1 2005-06-01 Muchembled Julien <jm@jm10.no-ip.com>\r
   2 \r
   3         * Polylib: (Polylib update) Removed. Polylib now separated from SPPoC.\r
   4         * Arithlib: Likewise.\r
   5         * Makefile: Likewise.\r
   6 \r
   7         * Makefile: Smarter detection of changes in the project.
   8         * Omega/Makefile: Likewise.
   9 \r
  10         * Makefile: Cleanups.
  11
  12         * Bin/gensig: Rewritten for speed reasons.\r
  13 \r
  14         * Etc/Makefile.config: GMP_LIB removed. New LIBS_LIBS variable\r
  15         (list of paths that ld will search for libraries; gmp, polylib...).\r
  16         CAMLP4LIBDIR guessed.\r
  17 \r
  18         * Etc/Makefile.config: Allow absolute paths in LIBS_INCLUDES variable.\r
  19         Relative paths must begin with `./'.\r
  20         * CInterface/Makefile: Likewise.\r
  21         * CipolCore/Common/Makefile: Likewise.\r
  22         * CipolCore/Makefile: Likewise.\r
  23         * CipolCore/Polylib/Makefile: Likewise.\r
  24         * CipolCore/System/Makefile: Likewise.\r
  25         * Pip/Makefile: Likewise.\r
  26 \r
  27         * CInterface/domain.c: (Polylib update)\r
  28         Fix inclusion of Polylib's header files.\r
  29         * CInterface/matrix.c: Likewise.\r
  30         * CInterface/omega.cpp: Likewise.\r
  31         * CInterface/quast.c: Likewise.\r
  32         * CInterface/system.c: Likewise.\r
  33         * CipolCore/Common/comtypes.h: Likewise.\r
  34         * Pip/integrer.c: Likewise.\r
  35         * Pip/pip.c: Likewise.\r
  36         * Pip/sol.c: Likewise.\r
  37         * Pip/tab.c: Likewise.\r
  38         * Pip/traiter.c: Likewise.\r
  39 \r
  40         * CInterface/domain.c: (Polylib update) Initialize Matrix::p_Init_size.\r
  41         * CipolCore/Polylib/polyconv.c: Likewise.\r
  42 \r
  43         * CInterface/domain.c: (Polylib update) Add disjoint_union to SPPoC.\r
  44         * Formel/polyedre.ml: Likewise.\r
  45         * Formel/polyedre.mli: Likewise.\r
  46         * Formel/sPPoC.ml: Likewise.\r
  47         * Formel/sPPoC.mli: Likewise.\r
  48 \r
  49         * CInterface/domain.c: (Polylib update)\r
  50         Update call to Polyhedron_Enumerate.\r
  51 \r
  52         * CInterface/omega.cpp: (Omega update) Fix inclusion of "omega.h".\r
  53 \r
  54         * CipolCore/Common/matrices.c: (Polylib update)\r
  55         Update call to value_addto.\r
  56 \r
  57         * CipolCore/Polylib/polyfree.c: (Polylib update) Removed.\r
  58         Polylib now implements Enumeration_Free.\r
  59         * CipolCore/Polylib/Makefile: Likewise.\r
  60 \r
  61         * Formel/lire.p4: (ocaml update) Workaround (TODO: fix messages).\r
  62 \r
  63         * Omega/omega/basic/include/basic/Bag.h: In a template definition,\r
  64         unqualified names don't find members of a dependent base (as specified\r
  65         by [temp.dep]/3 in the C++ standard). Now compiles with g++ 3.4.\r
  66         * Omega/omega/basic/include/basic/Dynamic_Array.h: Likewise.\r
  67         * Omega/omega/basic/include/basic/List.h: Likewise.\r
  68         * Omega/omega/basic/include/basic/SimpleList.h: Likewise.\r
  69 \r
  70         * Omega/omega/basic/include/basic/Exit.h: Cleanups.\r
  71 \r
  72         * Omega/omega/basic/include/basic/SimpleList.h:\r
  73         Include <stdlib.h> for `abort'.\r
  74 \r
  75         * Omega/omega/basic/include/basic/String.h:\r
  76         Fix deprecated use of <iostream.h>.\r
  77         * Omega/omega/omega_lib/include/omega/Relation.h: Likewise.\r
  78 \r
  79         * Omega/omega/basic/include/basic/assert.h: Cleanups.\r
  80 \r
  81         * Omega/omega/omega_lib/src/AST.c: `or' replaced with `_or`.\r