5 Commits

Author	SHA1	Message	Date
Anna Kozlova	49dfdded70	new inference: don't push resolved vars in case of failed substitution	2015-11-24 10:30:21 +01:00
Anna Kozlova	bd681beb26	new inference: 18.5.2 adjustments	2014-02-19 09:46:15 +01:00
Anna Kozlova	021c0c891e	new inference: stop inference if false was inferred	2014-02-12 09:46:33 +01:00
anna	2ea47e35b1	new inference: move test	2013-09-26 19:16:12 +02:00
Anna Kozlova	935cdbaf3b	new inference: initial tests	2013-09-20 12:11:57 +04:00