ChangeLog

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

	* configure.in: Bump to candl-0.6.2.
	* include/candl/candl.h.in: Create a new dependence type,
	CANDL_RAW_SCALPRIV. It is used only for RAW that has been modified
	due to scalar privatization pruning pass.
	* source/pruning.c: Update accordingly.
	* source/dependence.c: Update, and fix two bugs in scalar
	privatization.

2012-02-26  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* configure.in,
	* source/piplib-wrapper.c,
	* source/matrix.c: Fix support of piplib non-hybrid.

2012-02-25  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* include/candl/piplib-wrapper.h: New. Header for the wrapper.
	* source/dependence.c,
	* source/ddv.c,
	* include/Makefile.am: Update accordingly.

2012-02-25  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* configure.in: Bump to 0.6.1.
	* source/piplib-wrapper.c: New. PIPLib hybrid/non-hybrid wrapper.
	* include/candl/dependence.h,
	* source/ddv.c,
	* source/dependence.c,
	* source/Makefile.am: Update accordingly.

2012-02-24  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* source/dependence.c: Fix a bug in compute_lb (used in scalar
	privatization detection).

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

	* source/candl.c: Fix incorrect condition for inscop/outscop
	option.

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

	* include/candl/pruning.h,
	* source/pruning.c: New. Unit with a naive algorithm to prune some
	transitively covered dependences, as well as some obvious
	duplicates generated by Candl's dependence analysis algorithm.
	* source/Makefile.am,
	* include/Makefile.am: Update accordingly.

	* source/dependence.c,
	* source/options.c,
	* include/candl/dependence.h,
	* include/candl/options.h,
	* include/candl/candl.h.in: Add support and manage new option
	'prune_dups'.

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

	* source/dependence.c: Fix a remaining bug in is_loop_carried.

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

	* source/dependence.c: Fix a minor bug in is_loop_carried test.

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

	* source/dependence.c: Improve is_loop_carried test.

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

	* configure.in: Bump to Candl 0.6.0. Add --enable-piplib-hybrid.

	* source/matrix.c,
	* source/dependence.c: Conditionally use piplib-hybrid
	functionality to test polyhedron emptiness.

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

	* configure.in: Bump to Candl 0.5.1.

	* source/dependence.c: Fix a conservativeness issue in
	candl_dependence_is_loop_carried.

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

	* source/ddv.c: Use rational point check in PIPLib, because of
	scalability issues observed (polyopt/cholesky-tile+ddv).

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

	* configure.in,
	* autoconf/candl.m4: Use AC_SEARCH_LIBS instead of AC_CHECK_LIB.

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

	* include/candl/ddv.h,
	* source/ddv.c: Add function candl_loops_are_permutable.

2011-04-19  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* source/candl.c: Fix a minor option parsing incompatibility when
	using both -inscop and -scoptocandl.

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

	* autoconf/candl.m4: Fix a potential configuration issue with GMP
	and ISL, when multiple incompatible versions of GMP are already
	installed on the system.

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

	* include/candl/ddv.h,
	* source/ddv.c: Add storage for the dependence type associated to
	a DDV (e.g., RAW, WAR, WAW or RAR).

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

	* source/ddv.c: Fix a bug in DDV computation.

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

	* source/dependence.c: Fix a potential bug in
	candl_dependence_compute_lb.

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

	* tests/matmul.scalstruct,
	* tests/ax-do.struct,
	* tests/matmul.depscop,
	* tests/swim.candl,
	* tests/simple1.scalstruct,
	* tests/swim.struct,
	* tests/jacobi1d.scalstruct,
	* tests/lu.struct,
	* tests/ax-do.depscop,
	* tests/gemver.scalstruct,
	* tests/lu.depscop,
	* tests/checker.sh,
	* tests/matmul.candl,
	* tests/gemver.depscop,
	* tests/matmul.struct,
	* tests/ax-do.candl,
	* tests/simple1.struct,
	* tests/ax-do.scalstruct,
	* tests/jacobi1d.struct,
	* tests/gemver.candl,
	* tests/swim.scalstruct,
	* tests/lu.scalstruct,
	* tests/simple1.depscop,
	* tests/jacobi1d.depscop,
	* tests/gemver.struct,

	* tests/swim.depscop: Update the test suite to mirror latest
	changes (s/affectation/assignment,
	s/<dependence>/<dependence-polyhedra>)

	* README: Update.

2011-02-11  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>
	This patch provides a dependence distance vector computation for a
	given loop, given the set of dependence polyhedra. One DDV is
	created per dependence polyhedra related to the given loop.

	* source/ddv.c,
	* include/candl/ddv.h: New. Dependence Distance Vector extraction
	from the program dependence polyhedra.

	* include/candl/candl.h.in
	* include/Makefile.am
	* source/Makefile.am: Update accordingly.

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

	* include/candl/candl.h.in,
	* autoconf/candl.m4: Offer optional configure option to build
	with ISL support.

	* source/isl-wrapper.c: New. In- and out- of ISL functions,
	from CandlMatrix (aka PipMatrix).
	* source/Makefile.am: Update accordingly.

	* source/dependence.c,
	* include/candl/dependence.h: Add candl_dependence_isl_simplify
	which uses ISL to simplify the dependence polyhedra.

	* configure.in: Bump to Candl 0.5.0

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

	* source/dependence.c: Fix a minor bug in the Scop dependence
	parser.

2010-04-13  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* source/dependence.c: Fix a potential bug in is_loop_carried.

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

	* source/program.c: Fix a bug in Scop to Candl conversion.

2010-04-01  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* source/dependence.c: Implement missing feature for last-writer.

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

	* configure.in: Bump to Candl 0.4.0
	* README: New. Mini readme file.

2010-02-26  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* source/dependence.h: Export candl_dependence_var_is_scalar
	function.
	* source/dependence.c: Fix a bug in last_writer
	computation (increase by one the number of lines of the allocated
	matrix in quast_to_polyhedra).

2010-02-05  Louis-Noel Pouchet  <pouchet@cse.ohio-state.edu>

	* source/matrix.c,
	* source/violation.c,
	* source/dependence.c: Minor code polishing fixes.

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

	* source/statement.c,
	* source/program.c,
	* include/candl/candl.h.in: FINALLY! change 'affectation' to
	'assigment'.

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

	* source/program.c,
	* source/dependence.c,
	* include/candl/dependence.h: Create a mechanism to load/store
	dependences inside the <options></options> tags of the
	.scop. Dependences are stored now between the
	<dependence-polyhedra></dependence-polyhedra> tags. A
	CandlDependence* dependence list can be recomputed from the
	scoplib_scop_p and the associated CandlProgram* with the function
	candl_dependence_read_from_scop

2009-12-03  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* source/candl.c,
	* source/dependence.c,
	* source/options.c,
	* include/candl/dependence.h,
	* doc/Doxyfile.in: Change CANDL_SUPPORTS_CLAN to
	CANDL_SUPPORTS_SCOPLIB.

2009-05-03  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* source/program.c,
	* source/dependence.c,
	* include/candl/candl.h.in,
	* include/candl/program.h,
	* configure.in,
	* autoconf/candl.m4: Change optional dependence from clan to
	scoplib, for the support of .scop as input format.

2009-03-21  Uday K Bondhugula <bondhugula.1@osu.edu>
	Small fixes for gmp compilation.

	* source/dependence.c
	* source/matrix.c
	* include/candl/candl.h.in

2009-02-07  Uday K Bondhugula <bondhugula.1@osu.edu>
	Computes last writer on RAW, WAW, RAR dependences. Long
	standing implementation finally committed. Last writer
	computation is only done under '-lastwriter 1' or
	options->lastwriter = 1. All code was written in Sep '08.
	Does not handle cases where the last writer function is
	split into different cases based on parameters (bails out
	without modifying dependence polyhedron)

    * source/dependence.c: Code to compute last writer
	* source/options.c,
	* include/candl/dependence.h,
	* include/candl/options.h

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

	* source/program.c: Ensure null read/written info is always a
	0-sized matrix.

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

	* source/dependence.c: Fix and re-enable the GCD/ZIV tests.

2009-01-31  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch fixes an important bug on the computation of precedence
	constraints. Formerly it was not matching exactly the description
	of dependence polyhedra as formalized by Bastoul et al.

	* include/candl/matrix.h,
	* source/matrix.c: Move and rename function candl_matrix_dependence to
	candl_dependence_build_system.

	* source/dependence.c: Fix an important bug in the dependence
	computation. The precedence constraints were not correctly
	computed. Bug reported by Uday Bondhugula.

	* tests/jacobi1d.scop,
	* tests/jacobi1d.dep,
	* tests/jacobi1d.candl,
	* tests/jacobi1d.scalstruct,
	* tests/jacobi1d.opt.scop,
	* tests/jacobi1d.struct,
	* tests/jacobi1d.depscop,

	* tests/simple1.dep,
	* tests/simple1.candl,
	* tests/simple1.scalstruct,
	* tests/simple1.opt.scop,
	* tests/simple1.struct,
	* tests/simple1.depscop,
	* tests/simple1.scop,

	* tests/lu.opt.scop,
	* tests/lu.struct,
	* tests/lu.depscop,
	* tests/lu.scop,
	* tests/lu.dep,
	* tests/lu.candl,
	* tests/lu.scalstruct: New. Three instances of the previous bug.

	* tests/checker.sh: Update to be transparent to Clan revision
	changes.

	* tests/matmul.scalstruct,
	* tests/ax-do.struct,
	* tests/matmul.depscop,
	* tests/swim.struct,
	* tests/ax-do.depscop,
	* tests/gemver.scalstruct,
	* tests/gemver.depscop,
	* tests/matmul.struct,
	* tests/ax-do.scalstruct,
	* tests/swim.scalstruct,
	* tests/gemver.struct,
	* tests/Makefile.am,
	* tests/swim.depscop: Update de the reference test
	suite (CANDL_FMT is now %4)

2009-01-31  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* include/candl/matrix.h: Support new clan_int_t type.

2008-11-01  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* Makefile.am: Remove useless re-copy of config/candl.m4 in dist-hook.

2008-10-17  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* include/candl/matrix.h,
	* source/matrix.c: Add candl_matrix_print_data, which prints a
	matrix in a parsable form for candl_matrix_read.
	* include/candl/candl.h.in: Update CANDL_FMT to %4...

	* source/program.c: Replace calls to pip_matrix_print by
	candl_matrix_print_data. The former caused bugs on ppc64.

2008-09-18  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	Enable Candl to act as a .scop to .candl converter.

	* include/candl/program.h,
	* source/program.c: Add candl_program_print_candl_file function,
	which dumps a .candl file from a candl_program_t structure.

	* include/candl/options.h,
	* source/options.c,
	* source/candl.c: Add support of option -scoptocandl, which
	converts a .scop to a .candl file.

2008-08-20  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* include/candl/dependence.h,
	* include/candl/matrix.h,
	* include/candl/program.h: Minor fixes in includes.

2008-08-07  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch creates a .scop dumper for candl. Dependences are
	represented between the
	<candl><dependences>...</dependences></candl> tags. It is
	activated by providing a .scop file as the input (needing flag
	-inscop), and by using flag -outscop.

	* include/candl/dependence.h,
	* source/dependence.c: Create a .scop dumper, where the
	dependences are added in the optional tag.

	* include/candl/options.h,
	* source/candl.c,
	* source/options.c: Create option -outscop. Rename option -scop to
	-inscop.

	* tests/matmul.depscop,
	* tests/ax-do.depscop,
	* tests/gemver.depscop,
	* tests/swim.depscop: New. Reference test files for .scop dumper.
	* tests/Makefile.am: Update accordingly.
	* tests/checker.sh: Perform the .scop dumper checks.

	* include/candl/candl.h.in: Create the macro CANDL_FAIL.
	* include/candl/program.h,
	* source/program.c: Use the CANDL_FAIL macro in place of exit(1).

2008-07-25  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* source/dependence.c: Fix typo in comments, don't rename a scalar
	if not needed.

	* source/program.c: Change optional tag for loop indices to
	<candl><indices>...</indices></candl>.

	* tests/ax-do.dep,
	* tests/matmul.struct,
	* tests/swim.opt.scop,
	* tests/matmul.scalstruct,
	* tests/swim.dep,
	* tests/gemver.opt.scop,
	* tests/ax-do.struct,
	* tests/gemver.dep,
	* tests/ax-do.scalstruct,
	* tests/swim.struct,
	* tests/matmul.opt.scop,
	* tests/swim.scalstruct,
	* tests/matmul.dep,
	* tests/gemver.struct,
	* tests/gemver.scalstruct,
	* tests/ax-do.opt.scop: Update the reference files to Candl 0.3.0.

	* LICENSE: Delete.
	* COPYING.LESSER: Add GNU Lesser GPL notice.

	* doc/Doxyfile.in: Add missing macro definition.

2008-07-17  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* source/dependence.c: Fix a typo in comments.

	* tests/matmul.scalstruct,
	* tests/ax-do.scalstruct,
	* tests/swim.scalstruct,
	* tests/gemver.scalstruct: New. Add scalar analysis test reference
	files.

	* tests/checker.sh,
	* tests/Makefile.am: Update accordingly.

	* configure.in: Bump to candl-0.3.0
	* autoconf/candl.m4: Minor fixes.

2008-07-17  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch finalizes the scalar analysis pass. The following
	operations are available: scalar privatization, scalar expansion,
	scalar renaming, and test for privatizability.

	* include/candl/dependence.h,
	* source/dependence.c: Finalize scalar analysis. Add scalar
	expansion and scalar renaming. Refactor scalar privatization. Add
	dependence pruning via privatization.

	* include/candl/program.h,
	* source/program.c: Add and manage a field dedicated to store the
	list of privatizable variables.

	* include/candl/options.h,
	* source/options.c: Add options -scalexp, -scalpriv, -scalren,
	-verbose.

	* tests/Makefile.am,
	* tests/checker.sh: Remove useless re-test of .scop.

2008-07-15  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch re-implements scalar privatization via scalar expansion
	in the array access function. Code is conservative in very few
	cases, and yet robust.

	* include/candl/matrix.h,
	* source/matrix.c: Move and rename candl_dependence_check_point here.

	* include/candl/dependence.h,
	* source/dependence.c: Redesign scalar privatization.

2008-07-14  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* include/candl/dependence.h,
	* source/dependence.c: Add SIV/ZIV/MIV/GCD test to accelerate
	dependence testing.

2008-07-14  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch finalizes the integration of Candl with new .scop
	format. Loop indices are either extracted from the identity
	scheduling matrix, either from the content of the optional <candl>
	tag in the .scop file. See tests/xxx.opt.scop for examples.

	* include/candl/program.h,
	* source/program.c: Add support for reading the iterator indices
	in the .scop file.

	* tests/swim.scop,
	* tests/swim.opt.scop,
	* tests/gemver.opt.scop,
	* tests/matmul.opt.scop,
	* tests/ax-do.scop,
	* tests/ax-do.opt.scop: New. Test files where the iterator indices
	are provided in the <candl> optional tag of the .scop file.

	* tests/checker.sh,
	* tests/Makefile.am: Update accordingly.

2008-07-13  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch starts the integration of Candl with new .scop format.

	* configure.in,
	* autoconf/candl.m4: Make clan optional and not required.

	* include/candl/options.h,
	* include/candl/statement.h,
	* include/candl/candl.h.in,
	* include/candl/program.h,
	* source/candl.c,
	* source/statement.c,
	* source/program.c,
	* source/dependence.c,
	* source/options.c: Add .scop reader compatible with clan output.

	* tests/exam98.dep,
	* tests/esced.dep,
	* tests/exam98.candl,
	* tests/ics06.dep,
	* tests/matvect.candl,
	* tests/esced.candl,
	* tests/ics06.candl,
	* tests/cc1.dep,
	* tests/relaxation.dep,
	* tests/relaxation.candl,
	* tests/cc1.candl,
	* tests/matvect.dep: Delete old test files.

	* tests/swim.dep,
	* tests/gemver.scop,
	* tests/ax-do.struct,
	* tests/swim.candl,
	* tests/swim.struct,
	* tests/matmul.dep,
	* tests/ax-do.scop,
	* tests/checker.sh,
	* tests/ax-do.dep,
	* tests/matmul.candl,
	* tests/matmul.struct,
	* tests/swim.scop,
	* tests/gemver.dep,
	* tests/check_suite.sh,
	* tests/matmul.scop,
	* tests/gemver.candl,
	* tests/gemver.struct,
	* tests/Makefile.am: New. Create working test suite.

2008-07-13  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* candl/trunk/source/candl.c,
	* candl/trunk/source/matrix.c,
	* candl/trunk/source/statement.c,
	* candl/trunk/source/violation.c,
	* candl/trunk/source/program.c,
	* candl/trunk/source/Makefile.am,
	* candl/trunk/source/dependence.c,
	* candl/trunk/source/options.c,
	* candl/trunk/LICENSE,
	* candl/trunk/tests/ax-do.dep,
	* candl/trunk/tests/exam98.dep,
	* candl/trunk/tests/esced.candl,
	* candl/trunk/tests/matvect.candl,
	* candl/trunk/tests/ics06.candl,
	* candl/trunk/tests/cc1.candl,
	* candl/trunk/tests/relaxation.candl,
	* candl/trunk/tests/ax-do.candl,
	* candl/trunk/tests/Makefile.am,
	* candl/trunk/tests/esced.dep,
	* candl/trunk/tests/matvect.dep,
	* candl/trunk/tests/exam98.candl,
	* candl/trunk/tests/ics06.dep,
	* candl/trunk/tests/cc1.dep,
	* candl/trunk/tests/relaxation.dep,
	* candl/trunk/include/candl/dependence.h,
	* candl/trunk/include/candl/options.h,
	* candl/trunk/include/candl/matrix.h,
	* candl/trunk/include/candl/statement.h,
	* candl/trunk/include/candl/violation.h,
	* candl/trunk/include/candl/candl.h.in,
	* candl/trunk/include/candl/program.h,
	* candl/trunk/include/Makefile.am,
	* candl/trunk/doc/Doxyfile.in,
	* candl/trunk/doc/Makefile.am,
	* candl/trunk/doc/candl.texi,
	* candl/trunk/configure.in,
	* candl/trunk/Makefile.am,
	* candl/trunk/autogen.sh,
	* candl/trunk/ChangeLog,
	* candl/trunk/autoconf/candl.m4: Initial checkin of the project.