summaryrefslogtreecommitdiff
path: root/src/InterpreterPaths.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix the semantics of dropSon Ho2022-10-201-0/+1
* Make minor modificationsSon Ho2022-06-291-1/+5
* Make minor fixesSon Ho2022-05-051-2/+3
* Improve the generation of names for given back valuesSon Ho2022-04-211-3/+4
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-5/+5
* Update some commentsSon Ho2022-02-221-21/+8
* Fix a minor issueSon Ho2022-02-081-1/+0
* Add an option to allow the presence of bottom values below borrowsSon Ho2022-02-081-0/+4
* Fix more issuesSon Ho2022-02-081-5/+8
* Update the projection functions to take into account the option typeSon Ho2022-02-081-19/+28
* Rename the meta-places to [mplace] and update some commentsSon Ho2022-01-271-2/+2
* Make a modification in InterpreterPathSon Ho2022-01-271-8/+16
* Add meta information for the variable names in SymbolicAstSon Ho2022-01-271-0/+3
* Add a meta-value in SharedBorrow to carry the shared valueSon Ho2022-01-261-4/+4
* Finish updating the calls to the synthesis functions to generate theSon Ho2022-01-211-1/+0
* Update InterpreterExpansion and InterpreterPaths to use CPSSon Ho2022-01-191-86/+92
* Start storing meta-values in the avalues, for synthesis purposesSon Ho2022-01-191-2/+4
* Rename type_is_primitively_copyable to ty_is_...Son Ho2022-01-181-1/+1
* Update type_context to have to have a type info field, use maps insteadSon Ho2022-01-181-2/+2
* Start working on Collections.mlSon Ho2022-01-151-1/+1
* Implement greedy expansion of symbolic variables and expansion beforeSon Ho2022-01-141-6/+9
* Start working on greedy symbolic value expansion and expansion beforeSon Ho2022-01-141-2/+4
* Make more updates to assignment and update ctx_pop_frameSon Ho2022-01-131-5/+11
* Start updating the assignment semanticsSon Ho2022-01-131-12/+21
* Remove the inner_outer parameter from end_borrow, etc.Son Ho2022-01-121-4/+4
* Update end_borrow to check if there are loans in borrowed valuesSon Ho2022-01-121-137/+59
* 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
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-3/+2
* 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