3 Commits

Include renames

Author	SHA1	Message	Date
Alexey Sedunov	f226d99d36	Pseudocode: Add valued instructions and unbound values to AbstractPseudoValueTest	2014-06-26 13:06:23 +04:00
Alexey Sedunov	5e2c2b4eca	Pseudocode: Implement computation of expected type predicates	2014-06-23 19:32:25 +04:00
Alexey Sedunov	4a5d2e6728	Add tests for element -> pseudo-value mapping	2014-06-03 18:17:07 +04:00