summaryrefslogtreecommitdiff
path: root/compiler/InterpreterBorrows.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-03Change the order in which we merge abstractionsSon Ho1-54/+32
2024-06-03Factor out some code and update some commentsSon Ho1-0/+60
2024-05-31Add missing reverse when collapsing environmentAymeric Fromherz1-2/+1
2024-05-31Fix unused variables warningsAymeric Fromherz1-4/+10
2024-05-31Avoid adding shared loans twice when merging environmentsAymeric Fromherz1-5/+28
2024-05-30destructure_abs can be called during collapse: markers should be allowedAymeric Fromherz1-4/+0
2024-05-30Implement two phases of loops join + collapseAymeric Fromherz1-207/+324
2024-05-27Split collapse into collapse and reduce, rename accordinglyAymeric Fromherz1-0/+1
2024-05-27Add markers everywhere, do not use them yetAymeric Fromherz1-56/+132
2024-05-24Rename meta into spanAymeric Fromherz1-310/+310
2024-05-23Update the interpreter so that it is not written in CPS style (#120)Escherichia1-197/+165
2024-04-07Cleanup a bit and improve the error messagesSon Ho1-15/+11
2024-03-29Cleanup and fix a mistakeSon Ho1-16/+13
2024-03-29formatting and changed save_error condition for failing from b to not bEscherichia1-24/+64
2024-03-29added file and line arg to craise and cassertEscherichia1-129/+129
2024-03-28formattingEscherichia1-123/+194
2024-03-28Should answer all comments, there are still some TODO: error message leftEscherichia1-66/+66
2024-03-28Added sanity_check and sanity_check_opt_meta helpers and changed sanity check...Escherichia1-27/+27
2024-03-28Inverted meta and config argument orders (from meta -> config to config -> meta)Escherichia1-66/+66
2024-03-28WIP: translate.ml and extract.ml do not compile. Some assert left to do and w...Escherichia1-46/+46
2024-03-28WIP: does not compile yet because we need to propagate the meta variable.Escherichia1-5/+5
2024-03-28WIP Beginning working on better errors: began replacing raise (Failure) and a...Escherichia1-243/+244
2024-03-20Improve the generation of pretty name and the micro passesSon Ho1-1/+8
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