 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
|
50228fa085
|
Pseudocode: Generate correct values for postfix increment/decrement
|
2014-06-23 19:32:22 +04:00 |
|
|
Alexey Sedunov
|
7c837909d8
|
Pseudocode: Bind result values to elements retrieved from resolved calls
|
2014-06-23 19:32:21 +04:00 |
|
|
Alexey Sedunov
|
168b32920b
|
Pseudocode: Do not bind call value to callee expressions
|
2014-06-19 22:04:44 +04:00 |
|
|
Alexey Sedunov
|
4a5d2e6728
|
Add tests for element -> pseudo-value mapping
|
2014-06-03 18:17:07 +04:00 |
|