summaryrefslogtreecommitdiff
path: root/compiler/InterpreterLoopsJoinCtxs.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-04Improve collapse_ctxSon Ho1-1/+42
2024-06-04Do more cleanupSon Ho1-40/+44
2024-06-04Factor out the code in collapse_ctxSon Ho1-153/+54
2024-06-04Start factoring out the code of reduce_ctx and collapse_ctxSon Ho1-91/+162
2024-06-03Change the order in which we merge abstractionsSon Ho1-24/+28
2024-06-03Cleanup a bitSon Ho1-30/+37
2024-06-03Factor out some code and update some commentsSon Ho1-98/+88
2024-06-03Cleanup a bitSon Ho1-13/+3
2024-05-31formatAymeric Fromherz1-18/+18
2024-05-31Add documentation to collapseAymeric Fromherz1-1/+27
2024-05-31Fix unused variables warningsAymeric Fromherz1-9/+8
2024-05-31Add markers when creating new abstractions because of a join with bottomAymeric Fromherz1-47/+4
2024-05-30Implement two phases of loops join + collapseAymeric Fromherz1-149/+197
2024-05-28Compute marker information for borrow/loan mapsAymeric Fromherz1-4/+4
2024-05-28Add type and set/map for marker and borrow idAymeric Fromherz1-8/+6
2024-05-27Simplify collapse_ctxAymeric Fromherz1-6/+5
2024-05-27Simplify reduce_ctxAymeric Fromherz1-21/+6
2024-05-27Split collapse into collapse and reduce, rename accordinglyAymeric Fromherz1-11/+182
2024-05-27Add projection markers when joining environmentsAymeric Fromherz1-0/+59
2024-05-27Add markers everywhere, do not use them yetAymeric Fromherz1-11/+22
2024-05-24Rename meta into spanAymeric Fromherz1-70/+70
2024-03-29Cleanup and fix a mistakeSon Ho1-7/+3
2024-03-29formatting and changed save_error condition for failing from b to not bEscherichia1-6/+17
2024-03-29added file and line arg to craise and cassertEscherichia1-23/+23
2024-03-28formattingEscherichia1-37/+56
2024-03-28Should answer all comments, there are still some TODO: error message leftEscherichia1-20/+22
2024-03-28Added sanity_check and sanity_check_opt_meta helpers and changed sanity check...Escherichia1-10/+10
2024-03-28Inverted meta and config argument orders (from meta -> config to config -> meta)Escherichia1-3/+3
2024-03-28Replaced some unclear TODOs error message placeholder by clearer TODOs, they ...Escherichia1-6/+6
2024-03-28WIP: translate.ml and extract.ml do not compile. Some assert left to do and w...Escherichia1-33/+33
2024-03-28WIP Beginning working on better errors: began replacing raise (Failure) and a...Escherichia1-38/+40
2024-01-25Fix a minor issue when values are moved in the loopsSon Ho1-20/+9
2023-12-18Rename some definitionsSon Ho1-18/+18
2023-11-27Do not activate the sanity (invariant) checks by defaultSon Ho1-1/+1
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-132/+123
2023-11-12Remove the 'r type variable from the ty type definitionSon Ho1-29/+22
2023-09-17Normalize the function signatures before translation to pureSon Ho1-0/+3
2023-09-01Compute the normalized trait types maps and update InterpreterSon Ho1-3/+0
2023-09-01Implement the normalization functions in AssociatedTypesSon Ho1-0/+6
2023-08-31Start adding support for traitsSon Ho1-0/+9
2023-08-18Update following the introduction of ConstantExprSon Ho1-0/+3
2023-08-02Make progress proapagating the changesSon Ho1-0/+4
2023-02-03Split InterpreterLoops into several filesSon Ho1-0/+719
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 20:21:53 +0000