summaryrefslogtreecommitdiff
path: root/src/InterpreterPaths.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Make minor modificationsSon Ho2022-01-121-0/+2
|
* Make more modifications to loggingSon Ho2022-01-071-4/+7
|
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-1/+1
| | | | stateful
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-3/+2
| | | | field in the eval_ctx struct
* Make good progress on implementing utilities to test symbolic executionSon Ho2022-01-061-1/+1
|
* Move more definitions and do more cleanupSon Ho2022-01-061-0/+2
|
* Cleanup and reorganizeSon Ho2022-01-061-0/+1
|
* Cleanup a bit more the dependencies and activate more warnings/errorsSon Ho2022-01-061-1/+0
|
* Cleanup the dependencies a bitSon Ho2022-01-061-7/+0
|
* Move some definitions from Interpreter to InterpreterPathsSon Ho2022-01-061-0/+833