2011-07-26  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/pluto.c: Fix a bug in the generation of the pragmas (was:
	lbv and ubv not declared private, correcntess error on many
	codes).

2011-07-18  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/include/pluto/pluto.h,
	* src/program.c: Create new option 'candl_deps_prune_transcover',
	to optionnally use Candl's new option to remove some transitively
	covered dependences.

2011-06-20  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/pocc-driver.c: Update option --silent.

2011-05-24  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* config/pluto.m4: Use AC_SEARCH_LIBS instead of AC_CHECK_LIB.

2011-03-14  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/pluto.c: Fix a bug in normalize_domains. (Was: missing
	pointer re-copy after matrix resize).

2011-03-09  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/pocc-driver.c: Minor fix in the cloog-l computation.

2011-03-09  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/tile.c: Fix a bug in the embedding of the tiling constraints
	into the scattering. Was: incorrect support of tiled scalar
	dimensions.

2011-03-07  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/include/pluto/pluto.h,
	* src/program.c: Add support for option bound_coefficients.

	* src/framework.c: Implement a naive bounding of the schedule
	coefficients. When option bound_coefficients is set (integer value
	!= 0) then this value is used to bound the transformation
	coefficients. For the special case of coefficients attached to the
	scalar part of the schedule, the number of program statements is
	used for the bound.

2011-02-08  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* configure.in: Bump to pluto-0.5.2-pace.

2011-02-01  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/include/pluto/pluto.h,
	* src/program.c: Optionally simplify Candl dependence polyhedra
	with ISL (new function available in Candl).

2010-12-07  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/include/pluto/pocc-driver.h,
	* src/include/pluto/pluto.h,
	* src/pluto.c,
	* src/program.c,
	* src/pocc-driver.c,
	* src/tile.c: Add option 'tile_in_scattering' to the
	pluto-core. Optionally embeds the tiling information into the
	scattering without touching the iteration domains. Option is
	turned off by default.

2010-10-21  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/math_support.c: Change the GCD algorithm used.

2010-10-21  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/constraints.c: Support linking with new piplib-gmp, to use
	PIP-gmp for system resolution only.

	* config/pluto.m4: Provide new option --with-piplib-gmp, to
	activate the support of solving ILPs with piplib-gmp. The rest of
	Pluto still uses int64 when this option is activated.

2010-08-31  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/pluto.c,
	* src/constraints.c,
	* src/framework.c: Remove the last static variables present in the
	code. Was causing some troubles when running multiple times pluto
	as a library.

2010-08-30  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/include/pluto/pluto.h,
	* src/include/pluto/program.h,
	* src/main.c,
	* src/program.c,
	* src/framework.c,
	* src/pocc-driver.c: Fix a bug in dependence satisfaction (was:
	memory corruption possible in some cases). Create option
	'names_are_strings', if set to '0' then during PlutoProg
	creation/deletion iterator, parameter and statement bodies are not
	duplicated using strcpy but simply pointer-copied.

2010-08-10  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>
	This patch implements an alternative way to consider RAR
	dependences. RAR deps are used to build the constraints for the
	bounding function only, and not for the tiling hyperplane
	condition. As a result, a program like:
	for i
	  for j
	    A(i,j) = B(i,j)
	    C(i,j) = B(i,j - 1)

	is sucessfully transformed with \phi_S1 = (i,j + 1),
	\phi_S2 = (i,j) to realign the two accesses to B.

	* src/include/pluto/pluto.h,
	* src/program.c,
	* src/pocc-driver.c: Add support for option rar-cf.
	* src/framework.c: Implement option rar-cf, by using RAR
	dependences only for the bounding function.

2010-07-10  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* src/post_transform.c: Fix a bug in prevectorization (was:
	missing vector variables due to pre-vectorization of scalar
	loops).

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.
