summaryrefslogtreecommitdiff
path: root/src/InterpreterExpressions.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Finish updating the calls to the synthesis functions to generate theSon Ho2022-01-211-10/+19
* Fix a minor issue in expand_symbolic_valueSon Ho2022-01-201-9/+14
* Make minor modificationsSon Ho2022-01-201-4/+7
* Make good progress on updating InterpreterStatements to use CPSSon Ho2022-01-201-1/+1
* Make minor modifications in InterpreterExpressionsSon Ho2022-01-201-6/+3
* Finish updating InterpreterExpressionsSon Ho2022-01-201-98/+107
* Make more progress on InterpreterExpressionsSon Ho2022-01-201-29/+41
* Make more progress on InterpreterExpressionsSon Ho2022-01-201-99/+116
* Make progress on converting InterpreterExpressions to CPSSon Ho2022-01-201-102/+140
* Make a minor modificationSon Ho2022-01-191-1/+1
* Remove ty_has_regions and use ty_has_borrows insteadSon Ho2022-01-181-2/+8
* Rename type_is_primitively_copyable to ty_is_...Son Ho2022-01-181-2/+2
* Add sv_kind ("symbolic value kind") to track the origin of the symbolicSon Ho2022-01-151-2/+6
* Implement greedy expansion of symbolic variables and expansion beforeSon Ho2022-01-141-17/+55
* Start working on greedy symbolic value expansion and expansion beforeSon Ho2022-01-141-0/+4
* 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
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-3/+3
* 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