root/fort

	Rev	Chgset	Date	Author	Log Message
(edit)	@20	[20]	07/19/08 02:41:44	thesz	IConstr miss tightening inequalities (reflected in error message) and …
(edit)	@19	[19]	07/19/08 02:18:33	thesz	OTest is put on hold. We go with IConstr.hs instead.
(edit)	@18	[18]	07/13/08 02:15:36	thesz	And we perform modHat transformation. Going to inequalities. I think that …
(edit)	@17	[17]	07/12/08 23:37:03	thesz	Now we exclude variables also from definitions.
(edit)	@16	[16]	07/12/08 23:28:39	thesz	OTest does all easy steps on equalities. Not tested.
(edit)	@15	[15]	07/12/08 03:30:38	thesz	OTest typechecks.
(edit)	@14	[14]	07/12/08 03:20:22	thesz	Little test is more friendly.
(edit)	@13	[13]	07/12/08 03:16:28	thesz	Described steps of Omega test. Also we have some code.
(edit)	@12	[12]	07/12/08 01:31:33	thesz	Removed unnecessary SP type.
(add)	@11	[11]	07/12/08 01:23:57	thesz	A buggy and unconvenient fortran source code parser.

Note: See TracRevisionLog for help on using the revision log.