summaryrefslogtreecommitdiff
path: root/src/Values.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Improve printing of symbolic values in abstractionsSon Ho2022-01-141-3/+3
* Update aproj to make AEndedProjLoans take an `aproj option` and add theSon Ho2022-01-141-13/+44
* Make good progress on end_proj_loans_symbolicSon Ho2022-01-131-0/+1
* Update the projectors to ignore values when they don't contain regionsSon Ho2022-01-131-2/+5
* Introduce "AIgnore" for the avaluesSon Ho2022-01-131-0/+1
* Introduce ended borrow/loan projectors over symbolic valuesSon Ho2022-01-131-0/+2
* Make minor modificationsSon Ho2022-01-121-1/+1
* Factorize initialize_symbolic_context_for_fun andSon Ho2022-01-071-1/+2
* Add a high-level commentSon Ho2022-01-071-0/+8
* Add an optional borrow identifier to AIgnoredMutBorrow, introduce theSon Ho2022-01-071-6/+41
* Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho2022-01-061-35/+10
* Fix some bugsSon Ho2022-01-061-1/+5
* Generate iterators for statementSon Ho2022-01-061-4/+4
* Finish implementing eval_local_function_call_symbolicSon Ho2022-01-051-3/+0
* Make good progress on eval_local_function_call_symbolicSon Ho2022-01-051-1/+1
* Update some commentsSon Ho2022-01-051-0/+4
* Add comments about symbolic valuesSon Ho2022-01-051-2/+5
* Start working on invariant checkingSon Ho2022-01-041-4/+4
* Add a sanity check to make sure symbolic values disappear afterSon Ho2022-01-041-2/+10
* Fix a few mistakes with symbolic values and their typesSon Ho2022-01-041-1/+9
* Update expand_symbolic_value_shared_borrow to reborrow also in theSon Ho2022-01-041-1/+3
* Fix a few issues with [apply_symbolic_expansion_to_avalues]Son Ho2022-01-041-0/+2
* Update the functions to activate inactivated borrowsSon Ho2022-01-031-5/+20
* Make progress on end_abstraction_borrows and start implementingSon Ho2022-01-031-1/+16
* Start implementing end_abstraction_borrowSon Ho2022-01-031-1/+2
* Replace AProjSharedLoan with AIgnoredSharedLoanSon Ho2022-01-031-2/+1
* Add detailed comments to aloan_content and aborrow_contentSon Ho2022-01-031-17/+200
* Add a commentSon Ho2021-12-171-1/+2
* Rename AIgnoredShared{Borrow,Loan} to AProjShared{Borrow,Loan}Son Ho2021-12-171-4/+4
* Implement apply_reborrowsSon Ho2021-12-171-1/+2
* Take the abstract shared borrows into accountSon Ho2021-12-171-0/+3
* Change the definition of abstract_shared_borrowsSon Ho2021-12-171-15/+20
* Use RegionVarId and RegionId in a more consistent mannerSon Ho2021-12-171-2/+0
* Start working on projections_intersect and apply_proj_borrowsSon Ho2021-12-171-0/+9
* Implement the avalue cases of give_back_valueSon Ho2021-12-171-1/+10
* Start updating give_back_valueSon Ho2021-12-171-1/+1
* Update a commentSon Ho2021-12-171-1/+2
* Make minor modificationsSon Ho2021-12-171-0/+2
* Finish implementing visit_ABorrow for end_borrow_get_borrow_in_envSon Ho2021-12-171-1/+1
* Implement the visit_ALoan case for end_borrow_get_borrow_in_envSon Ho2021-12-171-1/+15
* Start updating end_borrow_in_env to take abstractions into accountSon Ho2021-12-141-1/+1
* Implement update_{aloan, aborrow}Son Ho2021-12-081-0/+4
* Derive iterators for Values.absSon Ho2021-12-081-5/+22
* Make minor modificationsSon Ho2021-12-081-15/+8
* Cleanup a bitSon Ho2021-12-081-315/+0
* Remove g_value, g_typed_value, etc. to make values and abstract valuesSon Ho2021-12-081-75/+90
* Make the map visitors non-polymorphicSon Ho2021-12-081-22/+97
* Cleanup a bitSon Ho2021-12-071-103/+3
* Update map_typed_value and make map_typed_avalue workSon Ho2021-12-071-152/+143
* Make the map_g_typed_value visitor polymorphicSon Ho2021-12-071-57/+55
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 19:31:26 +0000