4 Commits

Author	SHA1	Message	Date
Vitor Santos Costa	afd979a246	improve substantially handling of soft disjunctions.	2009-03-05 16:12:21 +00:00
Vitor Santos Costa	15b86cded4	new merged instructions and small changes to the emulator.	2009-03-03 10:04:13 +00:00
Vítor Santos Costa	c750dd94f1	indexing code was not looking at tabled code.	2009-02-09 23:34:12 +00:00
Vítor Santos Costa	11eed457c1	use automatucally generate code to find indexing information.	2008-12-29 00:14:47 +00:00