#
# ChangeLog for /fort 
# 
# Generated by Trac 0.10.4
# 09/10/10 23:41:41
#


08/15/08 02:08:27 thesz [29]
	* fort/ArrDF.hs (copied)
	initial version.

08/07/08 19:07:39 thesz [28]
	* fort/ArrDep.hs (added)
	* fort/IConstr.hs (modified)
	Added ArrDep.hs, it will be renamed into ArrDF.hs immediately. We
	interested in array dataflow, not jus in dependencies.

08/05/08 02:47:04 thesz [27]
	* fort/IConstr.hs (modified)
	Now we reduce redundant inequalities so instead of x >= 3 and x >= 4
	you'll get only x >= 3 (weakest one).

08/02/08 18:16:22 thesz [26]
	* fort/IConstr.hs (modified)
	Fixed a type and started work on inequality constraint reduction.

07/29/08 00:51:48 thesz [25]
	* fort/IConstr.hs (modified)
	Added license, usage and algorithm notes.

07/27/08 00:25:57 thesz [24]
	* fort/IConstr.hs (modified)
	Added problem from Omega test paper. It is considered solvable by our
	contraint handler. Going to recovering range conditions from a list
	of MIN/MAX pairs.

07/20/08 22:04:51 thesz [23]
	* fort/IConstr.hs (modified)
	Added tprob3 problem. And it works\!

07/20/08 21:42:34 thesz [22]
	* fort/IConstr.hs (modified)
	Fixed a bug with tprob1. It seems that FM elimination doess work. Now
	we have to tighten constraints.

07/20/08 20:02:07 thesz [21]
	* fort/IConstr.hs (modified)
	I wrote a Fourier-Motzkin implementation. It seem that there is a bug
	out there (prob1 doesn't fail), but I'm too tired to find it out
	right now.

07/19/08 02:41:44 thesz [20]
	* fort/IConstr.hs (modified)
	IConstr miss tightening inequalities (reflected in error message) and
	recovering integer ranges from results..

07/19/08 02:18:33 thesz [19]
	* fort/IConstr.hs (added)
	* fort/OTest.hs (modified)
	OTest is put on hold. We go with IConstr.hs instead.

07/13/08 02:15:36 thesz [18]
	* fort/OTest.hs (modified)
	And we perform modHat transformation. Going to inequalities. I think
	that we'll do everything up to multi-variable constraint handling,
	which we sort out later.

07/12/08 23:37:03 thesz [17]
	* fort/OTest.hs (modified)
	Now we exclude variables also from definitions.

07/12/08 23:28:39 thesz [16]
	* fort/OTest.hs (modified)
	* fort/Parser.hs (modified)
	OTest does all easy steps on equalities. Not tested.

07/12/08 03:30:38 thesz [15]
	* fort/OTest.hs (modified)
	OTest typechecks.

07/12/08 03:20:22 thesz [14]
	* fort/Parser.hs (modified)
	Little test is more friendly.

07/12/08 03:16:28 thesz [13]
	* fort/OTest.hs (added)
	Described steps of Omega test. Also we have some code.

07/12/08 01:31:33 thesz [12]
	* fort/Parser.hs (modified)
	Removed unnecessary SP type.

07/12/08 01:23:57 thesz [11]
	* fort (added)
	* fort/Parser.hs (added)
	A buggy and unconvenient fortran source code parser.