summaryrefslogtreecommitdiff
path: root/src/Interpreter.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-24Implement the discriminant case of eval_rvalueSon Ho1-5/+21
2021-11-24Implement eval_binary_opSon Ho1-6/+72
2021-11-24Update eval_rvalue to handle unary_opSon Ho1-5/+5
2021-11-24Implement eval_unary_opSon Ho1-40/+44
2021-11-24Make minor modificationsSon Ho1-8/+21
2021-11-24Make a minor comment modificationSon Ho1-1/+1
2021-11-24Implement the TwoPhaseMut case in eval_rvalueSon Ho1-5/+8
2021-11-24Make progress on eval_rvalueSon Ho1-2/+20
2021-11-24Start working on eval_rvalueSon Ho1-10/+38
2021-11-24Update eval_operandSon Ho1-9/+3
2021-11-24Update update_env_along_{read,write}_placeSon Ho1-9/+12
2021-11-24Update expand_bottom_valueSon Ho1-241/+15
2021-11-24Implement {read,write}_place by using access_placeSon Ho1-6/+55
2021-11-24Implement access_placeSon Ho1-0/+21
2021-11-24Implement a general access_projection functionSon Ho1-106/+151
2021-11-24Start refactoring the codeSon Ho1-184/+454
2021-11-24Insert some sanity checksSon Ho1-0/+3
2021-11-24Update activate_inactivated_mut_borrowSon Ho1-40/+103
2021-11-23Start working on eval_rvalueSon Ho1-2/+28
2021-11-23Implement eval_operandSon Ho1-7/+9
2021-11-23Start working on eval_operandSon Ho1-13/+49
2021-11-23Add comments and update other commentsSon Ho1-14/+41
2021-11-23Change some function signaturesSon Ho1-37/+37
2021-11-23Perform minor modifications and add commentsSon Ho1-7/+21
2021-11-23Finish implementing constant_value_to_typed_valueSon Ho1-75/+5
2021-11-23Write utilities for the scalarsSon Ho1-4/+158
2021-11-23Implement copy_valueSon Ho1-0/+85
2021-11-23Move some definitions to Contexts.ml and reactivate the warningsSon Ho1-43/+1
2021-11-23Define evaluation contextsSon Ho1-0/+20
2021-11-23Fix drop_borrows_at_placeSon Ho1-48/+120
2021-11-23Start implementing drop_borrows_at_placeSon Ho1-0/+66
2021-11-23Rename update_env_at_place to collect_borrows_at_placeSon Ho1-4/+5
2021-11-23Implement update_env_at_placeSon Ho1-4/+75
2021-11-23Implement update_env_along_write_placeSon Ho1-0/+26
2021-11-23Implement expand_bottom_valueSon Ho1-2/+63
2021-11-23Merge some functions togetherSon Ho1-17/+16
2021-11-23Cleanup a bitSon Ho1-70/+76
2021-11-23Start implementing update_env_along_read_placeSon Ho1-0/+29
2021-11-23Change the way exceptions are usedSon Ho1-29/+30
2021-11-23Implement write_placeSon Ho1-43/+6
2021-11-22Make progress on write_projectionSon Ho1-1/+82
2021-11-22Make minor modificationsSon Ho1-4/+6
2021-11-22Uncomment read_placeSon Ho1-1/+1
2021-11-22Make progress on {read,write}_pathSon Ho1-31/+143
2021-11-22Implement read_pathSon Ho1-12/+108
2021-11-22Implement activate_inactivated_mut_borrowSon Ho1-2/+184
2021-11-22Make a minor modification in Interpreter.mlSon Ho1-5/+2
2021-11-22Make good progress on end_borrowSon Ho1-12/+164
2021-11-22Implement end_borrow_get_borrow_in_envSon Ho1-7/+20
2021-11-19Start working on pretty-printingSon Ho1-4/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 01:31:34 +0000