2010-01-22  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/include/pluto/pluto.h,
	* src/program.c: Create option external_deps. When turned to 1,
	Pluto does not compute the dependence by calling Candl, but
	instead retrieves the dependences contained in the
	<dependence-polyhedra></dependence-polyhedra> tag of the .scop.

2010-01-20  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/include/pluto/pluto.h,
	* src/pluto.c,
	* src/constraints.c,
	* src/framework.c,
	* src/pocc-driver.c: Substitute the ugly programming using static
	variables with appropriate function arguments.

2009-11-10  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* configure.in: Bump to 0.5.0-pocc.

2009-10-28  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* config/pluto.m4: Add option --with-gmp-prefix, to specify the
	path of GMP package. GMP headers may be needed when compiling with
	cloog-isl-gmp.

2009-10-28  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/pluto.c,
	* src/pocc-driver.c: Ensure all opened file descriptors are
	correctly closed.

2009-07-26  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* config/pluto.m4,
	* src/post_transform.c,
	* src/pluto.c,
	* src/math_support.c,
	* src/tile.c: Final fixes to PluTo for post-transform, plus some
	other bug fixes, plus adaptation to cloog-isl instead of
	cloog-polylib.

2009-07-23  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/post_transform.c,
	* src/pluto.c: Fix unrolling problem.

2009-07-22  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch updates the version of pluto to the latest one.

	* src/post_transform.c,
	* src/include/pluto/pocc-driver.h,
	* src/include/pluto/pluto.h,
	* src/include/pluto/math_support.h,
	* src/include/pluto/constraints.h,
	* src/include/pluto/program.h,
	* src/pluto.c,
	* src/main.c,
	* src/math_support.c,
	* src/constraints.c,
	* src/program.c,
	* src/framework.c,
	* src/pocc-driver.c,
	* src/tile.c: Update to the latest version of pluto. Note: a bug
	was found with atax + tiling.

2009-07-20  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/post_transform.c: Fix the t%d iterator name issue, was
	preventing unrolling/plann/ancc to work properly.

2009-07-02  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/post_transform.c,
	* src/include/pluto/pocc-driver.h,
	* src/include/pluto/post_transform.h,
	* src/include/pluto/pluto.h,
	* src/include/pluto/math_support.h,
	* src/include/pluto/constraints.h,
	* src/pluto.c,
	* src/main.c,
	* src/math_support.c,
	* src/constraints.c,
	* src/program.c,
	* src/framework.c,
	* src/pocc-driver.c,
	* src/tile.c: Revert the previous patch. Update delayed.

2009-06-26  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/post_transform.c,
	* src/include/pluto/pocc-driver.h,
	* src/include/pluto/post_transform.h,
	* src/include/pluto/pluto.h,
	* src/include/pluto/math_support.h,
	* src/include/pluto/constraints.h,
	* src/pluto.c,
	* src/main.c,
	* src/math_support.c,
	* src/constraints.c,
	* src/program.c,
	* src/framework.c,
	* src/pocc-driver.c,
	* src/tile.c: Update to latest version of Pluto.
