TODO

   1
   2 - unchecked -commute
   3
   4 - lastwriter not finished
   5   see the FIXME in the function candl_dep_compute_lastwriter
   6
   7 - compilation error with ISL :
   8   To test it, in isl-wrapper change #ifdef CANDL_SUPPORTS_ISL to
   9   #ifndef CANDL_SUPPORTS_ISL
  10
  11   The error is :
  12   source/isl-wrapper.c: In function ‘isl_constraint_read_from_matrix’:
  13   source/isl-wrapper.c:79: warning: passing argument 1 of ‘isl_equality_alloc’ from incompatible pointer type
  14   /home/jpoudroux/usr/include/isl/constraint.h:28: note: expected ‘struct isl_local_space *’ but argument is of type ‘struct isl_space *’
  15   source/isl-wrapper.c:81: warning: passing argument 1 of ‘isl_inequality_alloc’ from incompatible pointer type
  16   /home/jpoudroux/usr/include/isl/constraint.h:29: note: expected ‘struct isl_local_space *’ but argument is of type ‘struct isl_space *’
  17
  18 - prunnning not finish (prunning.c: line 258 to 328)
  19   Uncomment the CANDL_COMPILE_PRUNNING in candl.h, or remove the ifdef in
  20   prunning.c
  21
  22 - change the type of the dependence/violation domain
  23   (at the end of candl_dependence_build_system and candl_matrix_violation)
  24   today it's : OSL_UNDEFINED
  25
  26 - candl_usr_init
  27   the statements must be sorted to compute the statement label
  28   the problem is if the scop is reordered, the second transformed scop
  29   must be "aligned" with it (the first statement need to corresponds to the first
  30   statement of the second scop, but the scattering could be different)
  31
  32   Functions of clay, which could return a non ordered scop :
  33   (they create new statements)
  34   iss, unroll, peel
  35
  36 - in pip_has_rational_point:
  37   -> FIXME (dependence.c:2243)
  38
  39 - autocorrect not implemented yet
  40
  41 - compilation warning with gmp :
  42   /usr/bin/ld: warning: libgmp.so.3, needed by /home/jpoudroux/usr/lib/libosl.so, may conflict with libgmp.so.10
  43
  44 - autoreconf error in the piplib module
  45   -> piplib must be installed in /
  46
  47   or execute these commands :
  48   $ cd piplib
  49   $ echo "AM_PROG_CC_C_O" >>configure.in
  50   $ touch NEWS AUTHORS ChangeLog
  51   $ cd ..
  52   $ ./redo.sh
  53
  54   If you want to set piplib as "bundled", uncomment these lines in the
  55   configure.ac :
  56   295: if test $with_piplib = bundled; then
  57   296:   AC_CONFIG_SUBDIRS(piplib)
  58   297: fi
  59