summaryrefslogtreecommitdiff
path: root/compiler/InterpreterBorrows.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-03-08Do not fail in end_abstraction_aux if the abs disappearedSon Ho1-61/+73
2023-12-18Rename some definitionsSon Ho1-6/+6
2023-12-07Use a better syntax when extracting tuple types (structures with unnamed fields)Son Ho1-11/+8
2023-12-05Remove the type sv_kind ("symbolic value kind")Son Ho1-44/+16
2023-12-05Fix a minor issue with the use of const genericsSon Ho1-2/+2
2023-12-05Update following changes in CharonSon Ho1-4/+4
2023-11-27Do not activate the sanity (invariant) checks by defaultSon Ho1-2/+2
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-387/+360
2023-11-12Add the "V" prefix to most variants related to valuesSon Ho1-170/+168
2023-11-12Prefix variants related to types with "T"Son Ho1-2/+2
2023-11-12Remove the 'r type variable from the ty type definitionSon Ho1-26/+26
2023-09-10Add support for the trait associated constantsSon Ho1-1/+1
2023-08-18Update following the introduction of ConstantExprSon Ho1-1/+2
2023-08-03Fix issuesSon Ho1-2/+2
2023-08-02Make progress proapagating the changesSon Ho1-2/+2
2023-02-03Add more loop examples and fix issuesSon Ho1-12/+3
2023-02-03Implement support for nested borrows in loops, and add loop testsSon Ho1-42/+91
2023-02-03Make minor modifications to improve the quality of the loop translationSon Ho1-1/+19
2023-02-03Fix another bugSon Ho1-1/+7
2023-02-03Update the comments in Values and make minor modificationsSon Ho1-6/+8
2023-02-03Remove the meta-value field from AMutBorrowSon Ho1-64/+101
2023-02-03Remove the APrimitive variant from the avaluesSon Ho1-1/+1
2023-02-03Remove the meta-values from the shared and reserved borrow valuesSon Ho1-7/+6
2023-02-03Make more fixesSon Ho1-39/+63
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