summaryrefslogtreecommitdiff
path: root/src/InterpreterExpressions.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add sv_kind ("symbolic value kind") to track the origin of the symbolicSon Ho2022-01-151-2/+6
| | | | values
* Implement greedy expansion of symbolic variables and expansion beforeSon Ho2022-01-141-17/+55
| | | | copy
* Start working on greedy symbolic value expansion and expansion beforeSon Ho2022-01-141-0/+4
| | | | assignment
* Improve logging and introduce eval_operands_prepareSon Ho2022-01-071-4/+44
|
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-4/+4
| | | | stateful
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-3/+3
| | | | field in the eval_ctx struct
* Move more definitions and do more cleanupSon Ho2022-01-061-0/+1
|
* Cleanup the dependencies a bitSon Ho2022-01-061-5/+0
|
* Move some definitionsSon Ho2022-01-061-20/+0
|
* Move some definitions inside of InterpreterExpressionsSon Ho2022-01-061-28/+28
|
* Move some functions from Interpreter to InterpreterExpressionsSon Ho2022-01-061-0/+476