root/fort

	Rev	Chgset	Date	Author	Log Message
(edit)	@24	[24]	07/27/08 00:25:57	thesz	Added problem from Omega test paper. It is considered solvable by our …
(edit)	@23	[23]	07/20/08 22:04:51	thesz	Added tprob3 problem. And it works\!
(edit)	@22	[22]	07/20/08 21:42:34	thesz	Fixed a bug with tprob1. It seems that FM elimination doess work. Now we …
(edit)	@21	[21]	07/20/08 20:02:07	thesz	I wrote a Fourier-Motzkin implementation. It seem that there is a bug out …
(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.