summaryrefslogtreecommitdiff
path: root/compiler/InterpreterLoopsJoinCtxs.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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