summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-26Make good progress on eval_local_function_callSon Ho3-31/+149
2021-11-26Update the way operands and assignments are evaluatedSon Ho1-114/+74
2021-11-26Update the env definition to make the frames easier to manipulateSon Ho6-51/+61
2021-11-25Use var instead of VarId.id in environmentsSon Ho1-7/+12
2021-11-25Start working on eval_local_function_callSon Ho3-11/+54
2021-11-25Implement type substitution for function definitions (and expressions,Son Ho2-1/+124
2021-11-25Start working on function callsSon Ho4-7/+49
2021-11-25Finish the implementation of set_discriminantSon Ho1-3/+10
2021-11-25Implement the Adt case of set_discriminantSon Ho1-5/+26
2021-11-25Start working on set_discriminant and factorize a bitSon Ho1-36/+88
2021-11-25Implement the assertion case of eval_statementSon Ho1-1/+7
2021-11-25Implement the Drop case of eval_statementSon Ho1-1/+6
2021-11-25Make progress on eval_statementSon Ho1-12/+12
2021-11-25Implement the Assign case of eval_statementSon Ho1-6/+75
2021-11-25Replace `open Types` by `module T = Types` in Interpreter.mlSon Ho1-89/+88
2021-11-25Replace `open Values` with `module V = Values` in InterpreterSon Ho1-384/+412
2021-11-25Replace `open Expressions` by `module E = Expressions` in Interpreter.mlSon Ho1-65/+67
2021-11-25Replace `open Contexts` by `module C = Contexts` in Interpreter.mlSon Ho1-138/+108
2021-11-25Start working on eval_statementSon Ho1-0/+20
2021-11-25Make a minor modificationSon Ho1-1/+0
2021-11-25Implement the Aggregate branch of eval_rvalueSon Ho3-13/+41
2021-11-25Implement various substitution functionsSon Ho2-50/+73
2021-11-25Commit Substitute.ml (forgotten in previous commit)Son Ho1-0/+72
2021-11-25Take care of warnings and fix some mistakesSon Ho1-18/+23
2021-11-25Start working on type substitutionSon Ho1-0/+2
2021-11-24Make progress on eval_rvalue and update aggregate_kindSon Ho3-17/+90
2021-11-24Implement the discriminant case of eval_rvalueSon Ho2-5/+25
2021-11-24Implement eval_binary_opSon Ho5-94/+88
2021-11-24Update eval_rvalue to handle unary_opSon Ho1-5/+5
2021-11-24Implement eval_unary_opSon Ho3-42/+63
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 Ho4-189/+494
2021-11-24Insert some sanity checksSon Ho1-0/+3
2021-11-24Update activate_inactivated_mut_borrowSon Ho2-42/+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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 00:55:07 +0000