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

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

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

	* configure.ac: Bump to 0.2.0-pre.

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

	* letsee/heuristic-plutocc.c: Verbosify the output.

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

	* letsee/oset.c,
	* letsee/include/letsee/heuristics.h,
	* letsee/heuristic-plutocc.c,
	* letsee/heuristics.c,
	* letsee/fsspace.c: Fix a typo in
	ls_oset_compute_ordering. Improve verbosity for random
	scan. Ongoing debugging code for the FM-property of OSet.

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

	* letsee/oset.c,
	* letsee/include/letsee/oset.h: Use a PIP-less method to recompute
	the preorder from the OSet representation. PIP was failing to
	complete on very large systems like swim.

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

	* letsee/fsspace.c,
	* letsee/oset.c: Little improvement of scalability.

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

	* letsee/heuristic-random.c,
	* letsee/heuristic-exhaust.c,
	* letsee/explorer.c,
	* letsee/heuristic-plutocc.c,
	* letsee/heuristics.c,
	* letsee/transformations.c: Support PoCC for the multidimensional
	heuristics

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

	* config/letsee.m4: Support ScopLib instead of Clan as optional
	dependence.

2009-04-27  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/explorer.c,
	* letsee/include/letsee/options.h,
	* letsee/include/letsee/heuristics.h,
	* letsee/heuristic-plutocc.c,
	* letsee/heuristics.c: Add generic support of heuristic 'exhaust'
	and 'random' for fusion structures.

2009-04-27  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch allows to use PoCC (through the pocc-utils lib) to
	generate and test iteratively program versions, for the fusion
	structure mode.

	* letsee/explorer.c,
	* letsee/include/letsee/options.h,
	* letsee/include/letsee/explorer.h,
	* letsee/include/letsee/heuristic-plutocc.h,
	* letsee/include/letsee/pocc-driver.h,
	* letsee/heuristic-plutocc.c,
	* letsee/pocc-driver.c,
	* letsee/heuristics.c,
	* letsee/fsspace.c,
	* letsee/space.c,
	* letsee/options.c: Fix and extend to support the linking with PoCC.

2009-04-27  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/pocc-driver.h,
	* letsee/pocc-driver.c,
	* config/letsee.m4: Improve the PoCC driver.

2009-04-23  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch includes the (optional) support to pocc-utils, the
	package to use the PoCC compiler inside optimizers.

	* letsee/pocc-driver.c,
	* letsee/include/letsee/pocc-driver.h: New. Add (optional) support
	for PoCC.
	* letsee/Makefile.am: Update accordingly.

	* letsee/include/letsee/options.h,
	* letsee/options.c,
	* config/letsee.m4: Add support for pocc-utils.

2009-04-04  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch improves the robustness of the fusion space
	construction.

	* letsee/fsspace2.c,
	* letsee/include/letsee/fsspace2.h,
	* letsee/heuristic-plutov2.c,
	* letsee/include/letsee/heuristic-plutov2.h: New. Experimental
	files for fusion structure computation. Debug only.
	* letsee/Makefile.am: Update accordingly.

	* letsee/space.c,
	* letsee/explorer.c,
	* letsee/options.c,
	* letsee/include/letsee/options.h,
	* src/options.c,
	* src/options.h: Add option for the new debugging space
	construction, and add option --prune-oset.

	* letsee/graph.c,
	* letsee/include/letsee/graph.h: Add ls_graph_trim.

	* letsee/oset.c,
	* letsee/fsspace.c,
	* letsee/include/letsee/fsspace.h: Significantly debug the fusion
	space strategy, and add pruning.

2008-10-05  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch starts the integration of the new algorithm for fusion
	space construction. Options -t fs and -w plutocc are introduced.

	* letsee/include/letsee/oset.h,
	* letsee/oset.c: New. Convex set of all total preorders.
	* letsee/include/letsee/fsspace.h,
	* letsee/fsspace.c: New. Legal Fusion space construction.
	* letsee/include/letsee/heuristic-plutocc.h,
	* letsee/heuristic-plutocc.c: New. Traversal heuristic for the fs
	space.
	* letsee/Makefile.am: Update accordingly.

	* letsee/include/letsee/graph.h,
	* letsee/graph.c: Create DFS functions for undirected graphs.
	* letsee/include/letsee/farkas.h,
	* letsee/farkas.c: Create ls_farkas_build_th_constraints function
	which constructs the legal tiling hyperplane set.

	* letsee/include/letsee/options.h,
	* letsee/include/letsee/explorer.h,
	* letsee/explorer.c,
	* letsee/heuristics.c,
	* letsee/space.c,
	* src/options.c: Update to enable options 'fs' and 'plutocc'.

2008-09-22  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch makes LetSee compatible with the latest native version
	of Candl.

	* letsee/include/letsee/dependence.h,
	* letsee/dependence.c: New. Unit to gather functions about the
	user structure used by LetSee to tag dependences.
	* letsee/Makefile.am,

	* letsee/include/letsee/schedspace.h,
	* letsee/include/letsee/lspace.h,
	* letsee/include/letsee/farkas.h,
	* letsee/explorer.c,
	* letsee/schedspace.c,
	* letsee/tilehyper.c,
	* letsee/fdspace.c,
	* letsee/farkas.c,
	* letsee/lspace.c,
	* letsee/heuristic-plutom.c,
	* letsee/fusionspace.c,
	* letsee/transformations.c,
	* letsee/space.c,
	* src/letsee.c: Update accordingly, and other updates.

2008-05-25  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	Add a new multilevel heuristic to traverse the space of legal
	fusion/distribution structures. Finalize the algorithm.

	* letsee/include/letsee/heuristic-plutom.h,
	* letsee/heuristic-plutom.c: New. Heuristic for traversal of the
	set of fusion/distribution, multilevel version.

	* letsee/Makefile.am,
	* explorer.c,
	* include/letsee/options.h,
	* src/options.c: Update accordingly.

	* include/letsee/fdspace.h,
	* fdspace.c: Finalize the fusion/distribution space construction
	algorithm. Works on the 'c' parts. Add affine constraints for
	unicity (temptative).

	* include/letsee/fusionspace.h,
	* fusionspace.c: Pass lb and Ub as arguments for normalize_space().

	* letsee/include/letsee/heuristics.h,
	* letsee/heuristics.c,
	* letsee/heuristic-pluto.c: Move verbosity in the user defined
	function instead of the body of enumerate(), change the return
	type of the user defined function..

	* include/letsee/farkas.h,
	* letsee/farkas.c: Add LS_FARKAS_LEZERO type in build_system.

	* letsee/include/letsee/common.h: Add letsee_debug macro.

2008-04-25  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	Add a tempataive new space computation algorithm: the space of
	legal fusions and distributions structures..

	* letsee/include/letsee/fdspace.h,
	* letsee/fdspace.c: New. New search space construction algorithm.

	* letsee/Makefile.am: Update accordingly.

	* letsee/include/letsee/options.h,
	* letsee/options.c,
	* src/options.c,
	* letsee/space.c: Add support for new space construction
	algorithm, called "fd".

2008-04-10  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	Add a new heuristic to compute legal fusion structures, and output
	them as pluto structure input files (.fst).

	* letsee/include/letsee/heuristic-pluto.h,
	* letsee/heuristic-pluto.c: New. Heuristic to generate legal
	fusion structures of a program.

	* letsee/Makefile.am: Update accordingly.

	* letsee/explorer.c,
	* letsee/include/letsee/explorer.h,
	* letsee/include/letsee/options.h,
	* src/options.c: Add support of option -w pluto.

	* letsee/include/letsee/heuristics.h,
	* letsee/heuristics.c: Factorize polytope enumerator. Function
	polytope_enumerate is now available.

	* letsee/include/letsee/farkas.h,

	* letsee/farkas.c: Factorize weak satisfaction constraint
	computation (ls_farkas_build_fco_constraints).

	* letsee/fusionspace.c: Improve the construction of legal fusion
	schedules.

2008-03-19  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	Add a new space computation algorithm: the space of legal fusions
	through parametric shift.

	* letsee/include/letsee/fusionspace.h,
	* letsee/fusionspace.c: New. Unit dedicated to compute the space
	of legal fusions through parametric shifts.
	* letsee/Makefile.am: Update accordingly.

	* letsee/space.c,
	* letsee/include/letsee/options.h,
	* src/options.c: Add option "-t fusion", enable fusion space
	computation call.

	* letsee/include/letsee/schedspace.h,
	* letsee/schedspace.c: Grant access to some internal functions to
	other units.

	* letsee/include/letsee/farkas.h,
	* letsee/farkas.c: Create ls_farkas_eliminate_multipliers, to
	reuse the computation.

2008-03-19  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/error.h,
	* letsee/error.c: Fix a compilation issue with Mac OSX (multiple
	non static definition)

2008-03-18  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/scripts/cloog2test,
	* src/scripts/tester2.sh,
	* src/scripts/onetest.sh: Make tester scripts compatible
	with PACE.

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

	* tests/gemver,
	* transformations/gemver.c: New. GEMVER test.

2008-03-09  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/farkas.c: Fix a bug in the size of the allocated system,
	for specific LS_FARKAS_EQZERO systems.

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

	* configure.ac: Bump to letsee-0.1.0.

	* config/letsee.m4: Remove link with piplib and polylib.

	* src/options.h,
	* src/options.c,

	* doc/letsee.texi,
	* doc/mainpage.dox,
	* NEWS,
	* README: Update accordingly, and improve.

2008-02-15  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/explorer.c,
	* letsee/graph.c,
	* letsee/schedspace.c,
	* letsee/include/letsee/explorer.h,
	* letsee/include/letsee/farkas.h,
	* letsee/include/letsee/heuristics.h,
	* letsee/heuristic-h1.c,
	* letsee/farkas.c,
	* letsee/lspace.c,
	* letsee/heuristic-m1.c,
	* letsee/heuristic-random.c,
	* letsee/heuristic-exhaust.c,
	* letsee/heuristics.c,
	* letsee/transformations.c,
	* letsee/space.c,
	* letsee/options.c: Update comments to support Doxygen.

	* doc/mainpage.dox,
	* doc/doxygen.cfg: New. Doxygen configuration files.

	* configure.ac,
	* doc/Makefile.am,
	* Makefile.am: Update to generate and distribute Doxygen documentation.

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

	* doc/letsee.texi: Improve documentation.

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

	* letsee/explorer.c,
	* letsee/include/letsee/options.h,
	* letsee/include/letsee/explorer.h,
	* letsee/include/letsee/heuristics.h,
	* letsee/heuristic-h1.c,
	* letsee/heuristic-m1.c,
	* letsee/heuristics.c: Clean and update the heuristics.

	* letsee/heuristic-random.c,
	* letsee/heuristic-exhaust.c,
	* letsee/include/letsee/heuristic-random.h,
	* letsee/include/letsee/heuristic-exhaust.h: New. Units for the
	random and exhaustive heuristics (grabbed from explorer.c).
	* letsee/Makefile.am: Update accordingly.

	* letsee/space.c: Add warning when calling formerly supported
	space construction method.

	* src/options.h,
	* src/options.c,
	* letsee/options.c: Clean the options, add support for scheme_m1
	option.

	* src/scripts/origtest.sh: Minor fix.

2008-02-06  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/graph.c,
	* letsee/include/letsee/graph.h,
	* letsee/include/letsee/lspace.h,
	* letsee/schedspace.c,
	* letsee/lspace.c: Clean lspace unit, move ls_fm_solver to FM
	library and update accordingly.

	* letsee/explorer.c,
	* letsee/heuristic-m1.c,
	* letsee/heuristics.c,
	* config/letsee.m4: Minor updates (in comments).

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

	* letsee/Makefile.am,
	* letsee/graph.c,
	* letsee/include/letsee/space.h,
	* letsee/include/letsee/graph.h,
	* letsee/include/letsee/schedspace.h,
	* letsee/include/letsee/farkas.h,
	* letsee/include/letsee/lspace.h: Remove inclusion of hash.{h,c},
	improve the documentation and clean the code.

	* letsee/schedspace.c,
	* letsee/heuristic-h1.c,
	* letsee/farkas.c,
	* letsee/heuristic-m1.c: Clean the code.

	* configure.ac: Bump to version 0.1.0-testing.
	* doc/letsee.texi: Update the documentation.
	* config/letsee.m4: Update check of libpiplib to libpiplib64.

	* Makefile.am,
	* tests/Makefile.am,
	* src/scripts/cloog2test/cloog2test,
	* src/scripts/tester2.sh: Minor fixes, and clean.

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

	* doc/letsee.texi: Update documentation.

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

	* src/Makefile.am,
	* tests/Makefile.am: Set exported scripts and tests.

	* transformations/Makefile.am: New. Makefile to distribute C
	reference codes.
	* configure.ac: Update accordingly.

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

	* letsee/graph.c,
	* letsed/schedspace.c,
	* letsee/lspace.c,
	* letsee/farkas.c,
	* letsee/include/letsee/farkas.h: Clean and report last
	modifications (from IMEC).

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

	* src/letsee_createpop.c,
	* src/letsee_crossover.c,
	* src/letsee_fixcomplete.c,
	* src/letsee_genbounds.c,
	* src/letsee_gentransfo.c,
	* src/letsee_mutation.c: Delete.

	* src/Makefile.am: Update accordingly.

2008-01-04  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	Clean the heuristic section. Branch 'development' was created
	before this patch.

	* letsee/explorer.c,
	* letsee/include/letsee/explorer.h: Clean. Remove experimental
	heuristics.
	* letsee/heuristics.c,
	* letsee/include/letsee/heuristics.h,
	* letsee/heuristic-h1.c,
	* letsee/include/letsee/heuristic-h1.h,
	* letsee/heuristic-m1.c,
	* letsee/include/letsee/heuristic-m1.h: Clean.

	* letsee/heuristic-ga.c,
	* letsee/include/letsee/heuristic-ga.h,
	* letsee/heuristic-ga-crossover.c,
	* letsee/include/letsee/heuristic-ga-crossover.h,
	* letsee/heuristic-e1.c,
	* letsee/include/letsee/heuristic-e1.h: Delete.

	* letsee/Makefile.am: Update accordingly.

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

	* doc/letsee.texi: New. Base template for documentation.

	* doc/Makefile.am: Update accordingly.

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

	* letsee/include/letsee/piptools.h,
	* letsee/piptools.c: Remove. Replaced by similar functions in FM.

	* letsee/Makefile.am: Update accordingly.

	* letsee/include/letsee/options.h,
	* letsee/include/letsee/farkas.h,
	* letsee/include/letsee/schedspace.h,
	* letsee/include/letsee/lspace.h,
	* letsee/lspace.c,
	* letsee/farkas.c,
	* letsee/heuristic-m1.c,
	* letsee/heuristics.c: Propagate change from piptools unit in
	FM. Replace calls to ls_piptools by calls to fm_piptools.

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

	* config/letsee.m4,
	* letsee/include/letsee/piptools.h,
	* letsee/piptools.c: Activate optional support for Polylib64.

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

	* letsee/include/letsee/multidim.h,
	* letsee/multidim.c: Remove. Dead code.
	* letsee/include/letsee/list.h,
	* letsee/list.c: Remove. Conflicting with new s_fm_list_t type.

	* letsee/Makefile.am: Update accordingly.

	* letsee/include/letsee/farkas.h,
	* letsee/farkas.c,
	* letsee/include/letsee/graph.h,
	* letsee/graph.c: Propagate change from FM: List -> s_fm_list.

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

	* letsee/local_space.c,
	* letsee/semilocal_space.c,
	* letsee/include/letsee/local_space.h,
	* letsee/mixed_space.c,
	* letsee/include/letsee/mixed_space.h,
	* letsee/global_space.c,
	* letsee/include/letsee/global_space.h: Delete. Former, not
	backward compatible, space construction methods.

	* src/options.c,
	* letsee/space.c,
	* letsee/include/letsee/space.h: Update accordingly.

	* config/letsee.m4: Update support of configure arguments. Require
	FM, piplib and candl.

	* letsee/Makefile.am,
	* src/Makefile.am: Update accordingly

2007-08-27  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* tests/utdsp/fir/fir.program,
	* tests/utdsp/fir/fir.candl,

	* tests/utdsp/iir/iir.program,
	* tests/utdsp/iir/iir.candl,

	* tests/utdsp/latnrm/latnrm.program,
	* tests/utdsp/latnrm/latnrm.candl,

	* tests/utdsp/lmsfir/lmsfir.program,
	* tests/utdsp/lmsfir/lmsfir.candl,

	* tests/utdsp/mult/mult.candl,
	* tests/utdsp/mult/mult.program,
	* tests/utdsp/mult/mult-opt.candl,
	* tests/utdsp/mult/mult-opt.program,
	* tests/transformations/mult-opt.c,

	* tests/utdsp/lpc/lpc-LPC_analysis.candl,
	* tests/utdsp/lpc/lpc-LPC_analysis.program,
	* transformations/lpc-LPC_analysis.c,

	* tests/utdsp/compress/compress-dct.candl,
	* tests/utdsp/compress/compress-dct.program,
	* transformations/compress-dct.c,
	* tests/utdsp/compress/compress-dct-opt.candl,
	* tests/utdsp/compress/compress-dct-opt.program,
	* transformations/compress-dct-opt.c,

	* tests/utdsp/edge_detect/edge_detect-convolve2d.candl,
	* tests/utdsp/edge_detect/edge_detect-convolve2d.program,
	* transformations/edge_detect-convolve2d.c: New. Add test files
	extracted from UTDSP suite.
	* tests/utdsp/list: New. Recap of the files and their parameters.

2007-08-26  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/scripts/full-original.sh,
	* src/scripts/full-run.sh: New. Test scripts to integrate a SCoP
	transformed in LetSee inside a whole benchmark.

	* src/scripts/ga.pl: Update accordingly.

	* tests/battery/wcdma_rx_filter.candl,
	* tests/battery/wcdma_rx_filter.program: New. Test files.

2007-08-23  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/transformations/matvect.c,
	* letsee/transformations/vectadd.c,
	* letsee/transformations/h264.c,
	* letsee/transformations/matmult.c,
	* letsee/transformations/lmsfir.c,
	* letsee/transformations/latnrm.c,
	* letsee/transformations/fir.c,
	* letsee/transformations/mult.c,
	* letsee/transformations/edge_detect.c: Update reference files
	with Traviata and Mips support.
	* letsee/tests/battery/matvect.program,
	* letsee/tests/battery/vectadd.program: Fix cache cleaner.

2007-08-23  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/scripts/ga.pl: New. Add GA algorithm.
	* src/scripts/genoriginal.sh,
	* src/scripts/genrun.sh: New. Add wrappers to ease GA script.

	* src/scripts/cloog2test/cloog2test: Add support for cycles count
	through timer for Traviata board.

	* src/scripts/genoriginal-traviata.sh,
	* src/scripts/genrun-traviata.sh,
	* src/scripts/file-tester-traviata.sh,
	* src/scripts/tester-traviata.sh,
	* src/scripts/tester-traviata-fast.sh,
	* src/scripts/test-all-transfo-traviata.sh,
	* src/scripts/traviata-execall,
	* src/scripts/traviata-execall.sh: New. Scripts dedicated to Traviata.

	* letsee/transformations/edge_detect.c,
	* letsee/transformations/latnrm.c,
	* letsee/transformations/matmult.c: Update for traviata support.

	* letsee/heuristic-ga-crossover.c,
	* letsee/heuristic-ga.c: Minor tweaks in GA operators.

	* tests/battery/radar_w_xxx.candl:
	* letsee/transformations/radar_w_12.c,
	* letsee/transformations/radar_w_123.c,
	* letsee/transformations/radar_w_1234.c,
	* letsee/transformations/radar_w_2.c,
	* letsee/tests/battery/radar_w_12.program,
	* letsee/tests/battery/radar_w_123.candl,
	* letsee/tests/battery/radar_w_123.program,
	* letsee/tests/battery/radar_w_1234.candl,
	* letsee/tests/battery/radar_w_1234.program,
	* letsee/tests/battery/radar_w_2.candl,
	* letsee/tests/battery/radar_w_2.program: Fix a problem in the
	test input files.

2007-08-18  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/schedspace.c: Fix a termination issue in the scheduling
	algorithm. Add backtrack capability.

	* letsee/graph.c: Minor change in graph_color. Unconnected nodes
	are now colored with either the most represented color, or
	graph->tag if defined.

	* letsee/options.c,
	* letsee/include/letsee/options.h,
	* src/options.c,
	* src/options.h: Add support for backtrack option.

2007-08-17  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/letsee_createpop.c: New. Binary for population initialization.
	* src/Makefile.am: Update accordingly.

	* src/scripts/createpop.sh: New. Wrapper scripts for population
	initialization.

2007-08-17  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/heuristic-ga-crossover.c,
	* letsee/include/letsee/heuristic-ga-crossover.h: New. Unit file
	dedicated to crossover operators. Add 2 crossover operators.

	* letsee/Makefile.am: Update accordingly.

2007-08-17  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/heuristics.c: Improve narrow_intbounds by using
	fm-minlexico instead of PIP.
	* letsee/heuristic-ga.c: Improve mutation. Add crossover.

	* src/letsee_crossover.c: New. Binary for schedule crossover.
	* src/Makefile.am: Update accordingly.

	* src/scripts/crossover.sh: New. Wrapper scripts for crossover.

2007-08-16  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/heuristics.c: Add fix/completion function for schedules.

	* letsee/heuristic-ga.c,
	* letsee/include/letsee/heuristic-ga.h: New. Unit for GA dedicated
	functions.

	* src/letsee_fixcomplete.c: New. Binary for schedule completion
	and correction.
	* src/letsee_mutation.c: New. Binary for schedule mutation.

	* src/Makefile.am,
	* letsee/Makefile.am: Update accordingly.

	* src/scripts/fixcomplete.sh,
	* src/scripts/mutation.sh: New. Wrapper scripts for new binaries.

2007-05-04  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* tests/battery/gosser.candl,
	* tests/battery/gosser.program,
	* transformations/gosser.c: New. Test file extracted from Feautrier's
	IJPP 92b.

2007-05-04  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/schedspace.c: Improve. Compress the representation used
	in space computation (use free attribute of fm_compsol_t).

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

	* letsee/graph.c
	* letsee/include/letsee/graph.h: Add SCC computation algorithm, and
	improve graph implementation.
	* letsee/farkas.c: Enable dependence graph SCC computation.

2007-05-01  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/explorer.c,
	* letsee/heuristic-m1.c,
	* letsee/piptools.c: Update compsol_init with new compsol_init_sol
	function.

	* letsee/graph.c,
	* letsee/include/letsee/graph.h,
	* letsee/farkas.c,
	* letsee/include/letsee/farkas.h,
	* letsee/schedspace.c: Use dependence "interference" graph to
	accelerate space computation.

2007-04-27  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/graph.c,
	* letsee/include/letsee/graph.h: New. Unit for graph algorithms.
	Add a graph coloring algorithm.
	* letsee/Makefile.am: Update.
	* letsee/farkas.c,
	* letsee/include/letsee/farkas.c: Add converter from dependence
	conflit list to graph, and update with references to graph unit.

	* letsee/schedspace.c: Fix a bug in dependence compaction.

2007-04-26  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/schedspace.c: Add a pass to compact the dependence graph

2007-04-26  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/farkas.c,
	* letsee/include/letsee/farkas.h: Add methods to compute pairwise
	dependence conflict.
	Added two attributes to CandlDependence: void* tag and int id.
	* letsee/schedspace.c: Use it to speed space construction.
	* letsee/piptools.c,
	* letsee/include/letsee/piptools.h: Add ls_piptools_check_sol, to
	directly test integer emptiness of a rational solution set.

2007-04-25  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/farkas.c,
	* letsee/include/letsee/farkas.h: New. Unit for common functions on
	linear systems (legal polytope initialization and intersection,
	local system construction).
	* letsee/Makefile.am,
	* letsee/schedspace.c,
	* letsee/include/letsee/schedspace.h: Update accordingly.

2007-04-23  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* SVN: Create branch multidim/letsee (r8193).
	Contains all the work about multidimensional schedule
	(December 2006 - march 2007). The work during this time slot hasn't
	been regularely commited.

2007-02-13  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/heuristic-e1.h,
	* letsee/heuristic-e1.c: New. Unit for elastic heuristic.
	* letsee/Makefile.am: Update accordingly.

	* letsee/schedspace.c: Improve multidimensional support, and add
	support of compacted polyhedron representation.

	* letsee/include/letsee/space.h,
	* letsee/include/letsee/options.h,
	* letsee/include/letsee/schedspace.h,
	* letsee/include/letsee/lspace.h,
	* letsee/explorer.c,
	* letsee/lspace.c,
	* letsee/transformations.c,
	* letsee/space.c,
	* src/options.c,
	* src/scripts/tester2.sh: Small fixes and code improvments.

2006-12-10  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* transformations/bastoul1.c,
	* tests/battery/bastoul1.candl,
	* tests/battery/bastoul1: New. Test file extracted from C. Bastoul
	PhD thesis (p. 123).

2006-12-08  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* transformations/vectadd.c,
	* tests/battery/vectadd.candl,
	* tests/battery/vectadd.program: New. Add test from p. 132 of
	C. Bastoul PhD thesis.

2006-12-05  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/heuristics.h,
	* letsee/include/letsee/heuristic-h1.h,
	* letsee/heuristics.c,
	* letsee/heuristic-h1.c: New. Put H1M heuristic out of explorer.c
	unit.
	* letsee/explorer.c,
	* letsee/include/letsee/explorer.h,
	* letsee/Makefile.am: Update accordingly.

2006-12-04  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/options.c,
	* letsee/explorer.c,
	* letsee/include/letsee/options.h,
	* letsee/schedspace.c,
	* letsee/lspace.c,
	* letsee/space.c: Improve multidimensional support, and port H1
	heuristic to multidimensional schedule.

2006-11-30  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* transformations/stap-matinvert.c,
	* tests/battery/stap-matinvert.candl,
	* tests/battery/stap-matinvert.program: New. Test files for matrix
	inversion (extracted from STAP code).

2006-11-30  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/explorer.c,
	* letsee/schedspace.c,
	* letsee/include/letsee/space.h,
	* letsee/include/letsee/explorer.h,
	* letsee/include/letsee/lspace.h,
	* letsee/include/letsee/piptools.h,
	* letsee/lspace.c,
	* letsee/piptools.c: Improve the support of multidimensional
	schedules.

	* letsee/include/letsee/options.h,
	* src/options.h,
	* src/options.c,
	* letsee/options.c: Add support for option "-l", which enables
	full redundancy elimination in polyhedra (supported only with
	multidimensional schedules).

	* tests/battery/multidim-2.candl,
	* tests/battery/multidim.candl: Small update.

	* src/scripts/tester.sh,
	* src/scripts/tester2.sh,
	* src/scripts/cloog2test/cloog2test,
	* src/scripts/onetest.sh: Improve. Add PREKERNEL and POSTKERNEL
	variables support, add LETSEE_OPTS support.

2006-11-17  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* transformations/matmult.c,
	* tests/battery/matmult.program: Change default value type to
	double.
	* transformations/fft_256_2.c,
	* tests/battery/fft_256_2.program: Update FFT test.

2006-11-17  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/scripts/tester.sh,
	* src/scripts/eventtoname.c: Improve / fix.

	* src/scripts/cloog2test/cloog2test2: Add support of PREKERNEL and
	POSTKERNEL variables in .program files.
	* src/scripts/tester-papi.sh,
	* src/scripts/tester2-papi.sh,
	* src/scripts/template.c: Improve. Add support of LETSEE_PAPI macro
	to be compliant with non-PAPI capable systems.

	* src/scripts/eventlist.p4xeon: New. Counters for P4 Xeon processors.

	* transformations/matvect.c,
	* transformations/lmsfir_8_1.c,
	* transformations/lu.c,
	* transformations/matmult.c,
	* transformations/crout.c: Update tests to support PAPI.

2006-11-15  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/scripts/onetest.sh,
	* src/scripts/tester.sh,
	* src/scripts/cloog2test/cloog2test,
	* letsee/local_space.c,
	* letsee/explorer.c,
	* letsee/schedspace.c: Minor updates.

	* letsee/multidim.c,
	* letsee/include/letsee/multidim.h: New units for (experimental)
	multidimensional schedule computation.
	* letsee/Makefile.am: Update accordingly.

	* tests/battery/matxmat.candl,
	* tests/battery/matxmat.cloog,
	* tests/battery/matxmat.program,
	* tests/battery/matvecttransp.candl,
	* tests/battery/matvecttransp.cloog,
	* tests/battery/matvecttransp.program
	* tests/battery/test_pf.candl,
	* tests/battery/test_pf.cloog,
	* tests/battery/test_pf.program: Renamed to corresponding
	matmult.*, mvt.* and matvect.*.

	* src/scripts/tester-papi.sh,
	* src/scripts/eventtoname.c,
	* src/scripts/tester2-papi.sh: New. Full support of PAPI.

	* transformations/matvect.c,
	* transformations/mvt.c,
	* transformations/lu.c,
	* transformations/locality.c,
	* transformations/matmult.c,
	* transformations/stap-cov-2.c,
	* transformations/crout.c: New. Add original code for these
	tests.

2006-11-13  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/scripts/tester-papi.sh,
	* src/scripts/cloog2test/cloog2test2,
	* src/scripts/template.c,
	* src/scripts/eventlist: New. Test scripts using PAPI. Simply run
	./tester-papi.sh instead of ./tester.sh in order to get PAPI
	measures in the .dat output file. PMCs are set in eventlist file.

2006-10-27  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/schedspace.h,
	* letsee/schedspace.c: New. Unit for multidimensional schedules.
	* letsee/include/letsee/piptools.h,
	* letsee/piptools.c: New. Unit for tools related to the PIPLib.

	* letsee/Makefile.am: Update accordingly.

	* letsee/include/letsee/lspace.h,
	* letsee/include/letsee/transformations.h,
	* letsee/include/letsee/options.h,
	* letsee/include/letsee/space.h,
	* letsee/lspace.c,
	* letsee/space.c,
	* letsee/transformations.c,
	* src/options.c,
	* letsee/explorer.c: Add support for multidimensional schedules,
	and provide option "multi" for the algorithm type.

	* tests/battery/multidim-2.candl,
	* tests/battery/multidim.candl,
	* tests/battery/multidim-2.program,
	* tests/battery/multidim.program,
	* transformations/multidim-2.c,
	* transformations/multidim.c: New. Add multidimensional test files.

2006-10-23  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* tests/battery/stap-cov-2.candl,
	* tests/battery/stap-cov-2.program,
	* transformations/stap-cov-2.c: New. Add new test from STAP.

2006-10-20  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* tests/battery/stap-cov.candl,
	* tests/battery/stap-cov.program,
	* transformations/stap-cov.c: New. Add new test from STAP.

2006-10-09  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* tests/battery/radar_w_1.candl,
	* tests/battery/radar_w_3.candl,
	* tests/battery/fft_256.candl,
	* tests/battery/radar3.candl,
	* tests/battery/radar_w_1234.program,
	* tests/battery/radar5.candl,
	* tests/battery/fft_256_2.program,
	* tests/battery/h264.candl,
	* tests/battery/radar_w_1.program,
	* tests/battery/radar_w_2.program,
	* tests/battery/radar_w_3.program,
	* tests/battery/radar_w_4.program,
	* tests/battery/h264.program,
	* tests/battery/fir_11.candl,
	* tests/battery/radar_w_12.candl,
	* tests/battery/gauss.candl,
	* tests/battery/radar_w_1234.candl,
	* tests/battery/radar_w_123.program,
	* tests/battery/fft_256_2.candl,
	* tests/battery/radar_w_2.candl,
	* tests/battery/radar_w_4.candl,
	* tests/battery/radar_w_12.program,
	* tests/battery/radar4.candl,
	* tests/battery/radar_s1.program,
	* tests/battery/radar_w_123.candl,
	* tests/battery/h264.cloog,
	* tests/battery/radar_s1.candl,
	* transformations/radar_w_1.c,
	* transformations/radar_w_2.c,
	* transformations/radar_w_3.c,
	* transformations/radar_w_12.c,
	* transformations/radar_w_4.c,
	* transformations/radar_w_123.c,
	* transformations/radar_w_1234.c: New. Add new tests.

2006-10-05  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/lspace.c: Add Le Fur "entrelaced" algorithm for space
	normalization. The code is not clean.

2006-10-03  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/explorer.c: Small fix in verbose output.

	* letsee/local_space.c,
	* letsee/include/letsee/local_space.h: Add pip_check call capability.

	* letsee/lspace.c: Test (a part of) Le Fur and Irigoin constraint
	redundancy elimination algorithms.

2006-09-24  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/explorer.c: Output the number of bad path taken.

	* letsee/local_space.c: Clean the code.

	* letsee/lspace.c: Change the graph walk ordering, and take in
	account the scalar constraints of the iterator in each built
	system.

2006-09-24  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/explorer.c: Minor fix.

	* letsee/transformations.c,
	* letsee/lspace.c: Finalize the new Organized local space
	construction.

2006-09-21  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/lspace.c: Continue the Organized local space construction.

2006-09-20  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/lspace.c: Continue the Organized local space construction.

2006-09-19  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/explorer.c: Add some tools to measure heuristics
	performances.

	* letsee/include/letsee/options.h,
	* src/options.c: Add support of type "olocal", the Organized local
	space construction.

	* src/letsee.c
	* letsee/space.c: Update accordingly.

	* letsee/include/letsee/lspace.h,
	* letsee/lspace.c: New. Start the Organized local space construction.

	* letsee/Makefile.am: Update accordingly.

2006-09-13  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* tests/battery/lmsfir_8_1.candl,
	* tests/battery/lmsfir_8_1.program,
	* transformations/lmsfir_8_1.c: New. Test from UTDSP benchmarks.

2006-09-12  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* tests/battery/ocean2.candl,
	* tests/battery/ocean2.program,

	* tests/battery/swimlight.candl,
	* tests/battery/swimlight.program,
	* transformations/swimlight.c,

	* tests/battery/ocean.candl,
	* tests/battery/ocean.program,
	* transformations/ocean.c,

	* tests/battery/flame.candl,
	* tests/battery/flame.program,
	* transformations/flame.c: New. Add new tests (not finalized).

2006-09-12  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/explorer.c: Finalize the random heuristic. Design R1, R2
	and R3 random heuristics. R3 has to be debugged.

	* letsee/include/letsee/options.h,
	* src/options.c: Add r1, r2 and r3 support.

	* src/letsee.c: Re-enable call to pip_close ().

2006-09-11  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/explorer.h,
	* letsee/explorer.c: Start the Random heuristic.

	* letsee/include/letsee/options.h,
	* letsee/options.c,
	* src/options.h,
	* src/options.c: Add support of option -q (--rtries) to set the
	number of randomly tested point for the Random heuristic.

	* src/letsee.c: Temporary remove the call to pip_close ().

2006-09-11  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/explorer.h,
	* letsee/explorer.c: Finalize the H1 heuristic.

	* letsee/include/letsee/options.h,
	* letsee/options.c,
	* src/options.h,
	* src/options.c: Add support of option -r (--rate) to set the
	thresold of the H1 heuristic.

2006-09-10  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/explorer.c: Continue the design of the H1
	heuristic. Implement the search on iterator dimensions.

	* src/scripts/origtest.sh,
	* src/scripts/onetest.sh: Improve the two scripts needed to
	execute one transformation.

2006-09-10  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/explorer.h,
	* letsee/explorer.c: Start the design of the H1 heuristic. Add a
	schedule correction mechanism, to find the "closest" legal
	schedule, given a prototype.

	* letsee/include/letsee/options.h,
	* letsee/options.c,
	* src/options.h,
	* src/options.c: Add support of option -x (--execute) to provide
	compilation line to test transformations.

	* letsee/local_space.c: Beautify output.

2006-09-09  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/explorer.h,
	* letsee/explorer.c: New. Exploration dedicated unit. Move the new
	iterative exhaustive exploration heuristic here. Start H1
	heuristic (see code comments).

	* letsee/Makefile.am,
	* letsee/include/letsee/transformations.h,
	* src/letsee.c,
	* letsee/transformations.c: Update accordingly. The former
	recursive polytope explorer is kept for testing purposes.

	* letsee/options.c,
	* letsee/include/letsee/options.h,
	* src/options.h,
	* src/options.c: Add option -w (--walk) to set the exploration
	heuristic.

2006-09-09  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/transformations.c: Finalize the new iterative polytope
	explorer. Works fine.

2006-09-08  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/local_space.c: Temporary call to PiPLib, to ensure the
	existence of a least one point in the solution polytope.
	* letsee/transformations.c: Premice of a new, non-recursive
	exhaustive polytope explorer. To be debugged (pb with Gauss).

	* tests/battery/radar2.candl,
	* tests/battery/radar3.candl,
	* tests/battery/radar4.candl,
	* tests/battery/radar.candl: New. Replicats of the radar
	sample. radar4.candl has monodimensional schedule(s), even though
	the code has been denatured (some array subscripts have been added
	/ modified).

	* tests/battery/radar4.program: New. Starting the template for radar4.

2006-09-06  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/scripts/onetest.sh,
	* src/scripts/origtest.sh: New. Scripts to launch only one
	transformation or only the original code.

2006-09-06  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	This patch summarizes the latest developments in LetSee (July -
	August).

	* letsee/local_space.c: Improve local space construction. Apply
	latest algorithm, which considers only t and \lambda.

	* letsee/mixed_space.c,
	* letsee/space.c: Test some features, removes useless option for
	Fourier-Motzkin.

	* src/options.h,
	* src/options.c,
	* letsee/include/letsee/options.h,
	* letsee/options.c: Add solution space normalization capability.

	* tests/battery/crout2.cloog,
	* tests/battery/gauss.cloog,
	* tests/battery/lu_back2.cloog,
	* tests/battery/lut.candl,
	* tests/battery/lu.program,
	* tests/battery/gauss.program,
	* tests/battery/test_candl.candl,
	* tests/battery/gausst.cloog,
	* tests/battery/crout.candl,
	* tests/battery/seidel.candl,
	* tests/battery/crout.cloog,
	* tests/battery/darte1.candl,
	* tests/battery/lu.candl,
	* tests/battery/crout.program,
	* tests/battery/lu_back2.candl,
	* tests/battery/gauss.candl: New. Add new tests.

	* tests/battery/matvect.candl,
	* tests/battery/lamport.program,
	* tests/battery/matvect.cloog,
	* tests/battery/lu_back.candl,
	* tests/battery/matxmat.program,
	* tests/battery/locality.program,
	* tests/battery/lamport.candl,
	* tests/battery/matvecttransp.program,
	* tests/battery/lu_back.program,
	* tests/battery/test_pf.program,
	* tests/battery/lamport_small.program: Modify tests.

2006-06-23  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/options.h,
	* letsee/local_space.c,
	* letsee/options.c,
	* src/options.h,
	* src/options.c: Add option for cUb and clb.

2006-06-23  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/options.h,
	* letsee/options.c,
	* src/options.h,
	* src/options.c: Add option for pUb and plb.

	* letsee/local_space.c: Update accordingly.

	* letsee/space.c: Remove call to relax_unbouded.

	* tests/battery/test_pf.cloog,
	* tests/battery/test_pf.program,

	* tests/battery/locality.cloog,
	* tests/battery/locality.program,

	* tests/battery/matxmat.program,
	* tests/battery/matxmat.cloog,

	* tests/battery/lu_back.candl,
	* tests/battery/lu_back.cloog,
	* tests/battery/lu_back.program,

	* tests/battery/lamport.candl,
	* tests/battery/lamport.cloog,
	* tests/battery/lamport.program,

	* tests/battery/matvect.candl,
	* tests/battery/matvect.cloog,
	* tests/battery/matvect.program,

	* tests/battery/lamport_small.candl,
	* tests/battery/lamport_small.cloog,
	* tests/battery/lamport_small.program,

	* tests/battery/matvecttransp.candl,
	* tests/battery/matvecttransp.cloog,
	* tests/battery/matvecttransp.program,

	* tests/battery/polynom.candl,
	* tests/battery/polynom.cloog,
	* tests/battery/polynom.program: Enrich the test-suite.

2006-06-14  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/space.h,
	* letsee/space.c: Implement a (false !) relaxation of
	transformation coefficients.

	* letsee/local_space.c: Fix an important bug in
	add_solution. Reimplement a function for the local_space context.

	* tests/battery/lu_back.candl: Restore the original bounds for k.

2006-06-10  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/transformations.h,
	* letsee/transformations.c: Build CLooG formatted schedules.

	* letsee/include/letsee/local_space.h,
	* letsee/local_space.c: New. Add local algorithm for space
	construction.

	* letsee/Makefile.am: Update accordingly.
	* Makefile.am: Add clean-transfo and clean-results rules.

	* letsee/include/letsee/options.h,
	* letsee/options.c,
	* src/options.h,
	* src/options.c: Add transfo-dir option.

	* src/letsee.c: Complete the binary with transformation creation
	capability.

	* letsee/include/letsee/space.h,
	* letsee/space.c: Finish mixed algorithm misc. functions.

	* letsee/global_space.c,
	* letsee/mixed_space.c: Minor fixes.

	* configure.ac: Move substitution calls to...
	* config/letsee.m4: ... here.

2006-06-09  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/mixed_space.h,
	* letsee/mixed_space.c: New. Start mixed algorithm for space
	construction.

	* letsee/include/letsee/space.h,
	* letsee/space.c: Update accordingly, and do some fixes.

	* letsee/global_space.c: Beautify output.

	* config/letsee.m4,
	* configure.ac: Add m4 code to deal with dependencies on Candl and
	FM packages.
	* letsee/Makefile.am,
	* src/Makefile.am: Update accordingly.

	* tests/battery/locality.candl,
	* tests/battery/lu_back.candl,
	* tests/battery/matvect.candl,
	* tests/battery/matxmat.candl: New. Add more tests.

2006-06-07  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/global_space.h,
	* letsee/global_space.c,
	* letsee/include/letsee/space.h,
	* letsee/space.c: Finalize global method to build legal
	transformation space.

	* src/getopts.c,
	* letsee/include/letsee/options.h,
	* src/options.c: Add LS_TYPE_MIXED option, and do some fixes.

	* letsee/include/letsee/transformations.h,
	* letsee/transformations.c: New. Start transformation generation
	unit.

	* letsee/Makefile.am: Update accordingly.
	* src/Makefile.am: Update.

2006-06-07  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* src/options.c: Minor fix in option check.

2006-06-07  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>

	* letsee/include/letsee/list.h,
	* letsee/list.c: Update.

	* letsee/include/letsee/hash.h,
	* letsee/hash.c: New. Add basic hash support.

	* letsee/include/letsee/space.h,
	* letsee/space.c,
	* letsee/include/letsee/global_space.h,
	* letsee/global_space.c: New. Add global space construction.

	* letsee/include/letsee/options.h,
	* letsee/options.c: New. Add options support.

	* tests/battery/test_pf.candl: New. Add a sample test.

	* src/options.h,
	* src/options.c,
	* src/getopts.h,
	* src/getopts.c: New add. getopt capabilities to the binaries.

	* src/letsee.c: Update.

	* letsee/Makefile.am,
	* tests/Makefile.am,
	* src/Makefile.am: Update accordingly.

2006-06-05  Louis-Noel Pouchet  <louis-noel.pouchet@inria.fr>
	Initial checkin of LetSee, the LEgal Transformation SpacE Eplorator.

	* letsee/xmalloc.c,
	* letsee/include/letsee/error.h,
	* letsee/include/letsee/list.h,
	* letsee/include/letsee/foo.h,
	* letsee/include/letsee/common.h,
	* letsee/foo.c,
	* letsee/Makefile.am,
	* letsee/xstrdup.c,
	* letsee/error.c,
	* letsee/xstrerror.c,
	* letsee/list.c,
	* tests/Makefile.am,
	* tests/empty.test,
	* tests/checker.sh,
	* configure.ac,
	* config/letsee.m4,
	* config/depcomp,
	* config/missing,
	* config/config.guess,
	* config/config.sub,
	* config/ltmain.sh,
	* config/install-sh,
	* doc/Makefile.am,
	* AUTHORS,
	* bootstrap.sh,
	* src/letsee.c,
	* src/letsee.h,
	* src/Makefile.am,
	* ChangeLog,
	* COPYING,
	* Makefile.am,
	* NEWS,
	* README: New. Initial checkin of the project.
