3 Commits

Author	SHA1	Message	Date
Anna Kozlova	15f3eac8a2	inference:incorporation optimization: skip variable's bound incorporation if the phase didn't change these bounds	2016-01-19 12:56:50 +01:00
Anna Kozlova	d32e6ec080	new inference: start inference from top to bottom; ensure getTargetType doesn't perform any inference; cache intermediate results	2015-11-19 10:47:21 +01:00
Anna Kozlova	aa1b472dff	mew inference: checked exceptions with incompatible bounds	2015-02-24 15:04:52 +01:00