summaryrefslogtreecommitdiff
path: root/src/InterpreterStatements.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Start working on greedy symbolic value expansion and expansion beforeSon Ho2022-01-141-0/+8
* Update aproj to make AEndedProjLoans take an `aproj option` and add theSon Ho2022-01-141-1/+3
* Update the projectors to ignore values when they don't contain regionsSon Ho2022-01-131-2/+2
* Make more updates to assignment and update ctx_pop_frameSon Ho2022-01-131-4/+38
* Start updating the assignment semanticsSon Ho2022-01-131-4/+8
* Update ctx_pop_frame to not drop the local variablesSon Ho2022-01-121-33/+7
* Update end_borrow to check if there are loans in borrowed valuesSon Ho2022-01-121-1/+1
* Update some commentsSon Ho2022-01-121-4/+7
* Introduce dummy variables and update assign_to_placeSon Ho2022-01-121-3/+12
* Make minor modificationsSon Ho2022-01-121-0/+4
* Factorize initialize_symbolic_context_for_fun andSon Ho2022-01-071-29/+58
* Make more modifications to loggingSon Ho2022-01-071-6/+9
* Add an optional borrow identifier to AIgnoredMutBorrow, introduce theSon Ho2022-01-071-2/+15
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-7/+5
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-19/+10
* 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 09:54:56 +0000