summaryrefslogtreecommitdiff
path: root/compiler/InterpreterBorrows.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-02-03Make some fixesSon Ho1-9/+8
2023-02-03Improve some visitors and ctx_merge_regionsSon Ho1-27/+1
2023-02-03Make minor modificationsSon Ho1-1/+7
2023-02-03Improve merge_abstractionsSon Ho1-1/+71
2023-02-03Make progress on the fixed point computationSon Ho1-6/+45
2023-02-03Make progress on the environment matchesSon Ho1-9/+21
2023-02-03Make progress on environment matches and joinsSon Ho1-159/+488
2023-02-03Make progress on environments matches and joinsSon Ho1-2/+4
2023-02-03Start implementing support for loopsSon Ho1-71/+525
2022-11-10Implement a Config.ml file which groups all the global options in referencesSon Ho1-2/+2
2022-11-07Rename "inactivated borrows" to "reserved borrows"Son Ho1-28/+25
2022-11-07Add some .mli filesSon Ho1-36/+44
2022-11-07Update InterpreterBorrowsSon Ho1-70/+35
2022-11-07Add ids to the dummy variablesSon Ho1-1/+1
2022-11-07Replace all the occurrences of `failwith ...` with `raise (Failure ...)`Son Ho1-28/+32
2022-10-28Take care of some TODOsSon Ho1-1/+1
2022-10-27Fix some comment referencesSon Ho1-5/+5
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-115/+115
2022-08-10Corrected translation without using functions, remaining bug in hashmap trans...Sidney Congard1-1/+1
2022-06-29Make minor modificationsSon Ho1-3/+16
2022-06-27Add `can_end` in `abs` and use it for the return abs when generating theSon Ho1-0/+3
2022-05-06Factorize some code in InterpreterBorrows*Son Ho1-49/+12
2022-04-21Improve the generation of names for given back valuesSon Ho1-2/+2
2022-04-21Work on pretty namesSon Ho1-5/+3
2022-04-20Introduce mdplace to link meta information about the given back valuesSon Ho1-6/+8
2022-02-08Add an option to allow the presence of bottom values below borrowsSon Ho1-0/+15
2022-01-28Make a lot of small modificationsSon Ho1-0/+3
2022-01-27Introduce AEndedSharedBorrow so as not to introduce ABottom whenSon Ho1-7/+9
2022-01-27Make give_back_symbolic_value fail in case we need to reinsert inside anSon Ho1-2/+14
2022-01-27Implement the borrow_content case of end_abstraction_borrowsSon Ho1-5/+31
2022-01-26Fix a small issue in end_abstraction_loans: the loan_content case wasSon Ho1-0/+13
2022-01-26Fix a bug in the end borrows/abs loop detectionSon Ho1-4/+4
2022-01-26Fix various issuesSon Ho1-0/+1
2022-01-26Add a meta-value in SharedBorrow to carry the shared valueSon Ho1-2/+2
2022-01-26Replace other occurrences of mvalue with msymbolic_valueSon Ho1-4/+7
2022-01-25Replace another occurrence of mvalue with msymbolic_valueSon Ho1-3/+1
2022-01-25Use msymbolic_value instead of mvalue in some places in Values.aprojSon Ho1-1/+1
2022-01-25Add a SynthInputGivenBack case in Values.sv_kindSon Ho1-4/+11
2022-01-21Finish updating the calls to the synthesis functions to generate theSon Ho1-10/+20
2022-01-21Add invariant checks at the end of [end_borrow] and [end_abstraction]Son Ho1-5/+13
2022-01-21Update AProjLoans and AEndedProjLoans to take a list of given backSon Ho1-93/+126
2022-01-20Cleanup a bit InterpreterBorrowsSon Ho1-22/+14
2022-01-19Make minor updates to InterpreterBorrows and InterpreterExpansionSon Ho1-6/+10
2022-01-19Make minor modificationsSon Ho1-3/+2
2022-01-19Start updating the interpreter to make it CPSSon Ho1-115/+182
2022-01-19Start storing meta-values in the avalues, for synthesis purposesSon Ho1-153/+156
2022-01-19Implement ty_has_borrow_under_mutSon Ho1-1/+1
2022-01-19Implement the sanity checks for consumption of symbolic values bySon Ho1-6/+31
2022-01-18Update the types and deserialization following charon's updatesSon Ho1-2/+5
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 16:02:35 +0000