15 commits

Author	SHA1	Message	Date
caheckman	2a73bca9ac	overflow checks, take into account LOAD size	2019-06-17 23:47:05 -04:00
caheckman	d51d8259b5	fixed constraint finding corner case	2019-06-15 18:22:28 -04:00
caheckman	e506f27b31	Rearrange MULTIEQUAL equation generation	2019-06-15 00:52:51 -04:00
caheckman	d4ebf6f753	stability in ValueSetRead	2019-06-07 16:13:28 -04:00
caheckman	cbd385fb0b	adjustments to computeTypeCode and stability calculations	2019-06-07 12:28:23 -04:00
caheckman	4ae42d0bd4	added stability tests to ValueSet	2019-06-06 15:12:05 -04:00
caheckman	32793712fe	Different widening strategies	2019-06-06 15:12:04 -04:00
caheckman	dadcb20918	INDIRECT toggle and fix spacebase	2019-06-06 15:12:01 -04:00
caheckman	9cdd91a053	reads and constraint adjustments	2019-06-06 15:12:00 -04:00
caheckman	0c5bd081c5	got rid of FULL typeCode	2019-06-06 15:12:00 -04:00
caheckman	f51cb8b4a1	fixes from first stress test	2019-06-06 15:11:59 -04:00
caheckman	94e289d494	ValueSetRead objects	2019-06-06 15:11:59 -04:00
caheckman	16fd5df590	relative constraints	2019-06-06 15:11:58 -04:00
caheckman	e96f39a98f	value set analysis	2019-06-06 15:11:57 -04:00
Dan	79d8f164f8	Candidate release of source code.	2019-03-26 13:46:51 -04:00