summaryrefslogtreecommitdiff
path: root/src/InterpreterStatements.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Make more modifications to loggingSon Ho2022-01-071-6/+9
|
* Add an optional borrow identifier to AIgnoredMutBorrow, introduce theSon Ho2022-01-071-2/+15
| | | | AEndedIgnoredMutBorrow variant and fix a couple of bugs
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-7/+5
| | | | stateful
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-19/+10
| | | | field in the eval_ctx struct
* Make a minor modificationSon Ho2022-01-061-1/+3
|
* Fix some issues when evaluating assertionsSon Ho2022-01-061-6/+48
|
* Make minor modificationsSon Ho2022-01-061-6/+7
|
* Implement tests for the symbolic interpreterSon Ho2022-01-061-1/+1
|
* Make good progress on implementing utilities to test symbolic executionSon Ho2022-01-061-45/+56
|
* Cleanup the dependencies a bitSon Ho2022-01-061-4/+0
|
* Move some definitionsSon Ho2022-01-061-0/+20
|
* Move some definitions from Interpreter to InterpreterStatementsSon Ho2022-01-061-0/+894
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 05:44:33 +0000