| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Start fixing bugs in the unit test evaluation | Son Ho | 2021-11-29 | 1 | -1/+7 |
* | Fix some issues, introduce debugging log in the interpreter | Son Ho | 2021-11-29 | 1 | -1/+20 |
* | Test the unit functions | Son Ho | 2021-11-29 | 1 | -6/+6 |
* | Start working logging and make progress on printing ASTs | Son Ho | 2021-11-29 | 1 | -0/+1 |
* | Cleanup a bit to remove the warnings | Son Ho | 2021-11-29 | 1 | -11/+23 |
* | Implement test_all_unit_functions | Son Ho | 2021-11-26 | 1 | -5/+26 |
* | Implement test_unit_function | Son Ho | 2021-11-26 | 1 | -0/+32 |
* | Implement box dereferencement (concrete interpreter) | Son Ho | 2021-11-26 | 1 | -8/+42 |
* | Make progress on evaluate_non_local_function_call | Son Ho | 2021-11-26 | 1 | -21/+165 |
* | Add some comments | Son Ho | 2021-11-26 | 1 | -0/+10 |
* | Implement eval_expression | Son Ho | 2021-11-26 | 1 | -4/+72 |
* | Make good progress on eval_local_function_call | Son Ho | 2021-11-26 | 1 | -28/+114 |
* | Update the way operands and assignments are evaluated | Son Ho | 2021-11-26 | 1 | -114/+74 |
* | Update the env definition to make the frames easier to manipulate | Son Ho | 2021-11-26 | 1 | -14/+26 |
* | Start working on eval_local_function_call | Son Ho | 2021-11-25 | 1 | -11/+47 |
* | Start working on function calls | Son Ho | 2021-11-25 | 1 | -0/+23 |
* | Finish the implementation of set_discriminant | Son Ho | 2021-11-25 | 1 | -3/+10 |
* | Implement the Adt case of set_discriminant | Son Ho | 2021-11-25 | 1 | -5/+26 |
* | Start working on set_discriminant and factorize a bit | Son Ho | 2021-11-25 | 1 | -36/+88 |
* | Implement the assertion case of eval_statement | Son Ho | 2021-11-25 | 1 | -1/+7 |
* | Implement the Drop case of eval_statement | Son Ho | 2021-11-25 | 1 | -1/+6 |
* | Make progress on eval_statement | Son Ho | 2021-11-25 | 1 | -12/+12 |
* | Implement the Assign case of eval_statement | Son Ho | 2021-11-25 | 1 | -6/+75 |
* | Replace `open Types` by `module T = Types` in Interpreter.ml | Son Ho | 2021-11-25 | 1 | -89/+88 |
* | Replace `open Values` with `module V = Values` in Interpreter | Son Ho | 2021-11-25 | 1 | -384/+412 |
* | Replace `open Expressions` by `module E = Expressions` in Interpreter.ml | Son Ho | 2021-11-25 | 1 | -65/+67 |
* | Replace `open Contexts` by `module C = Contexts` in Interpreter.ml | Son Ho | 2021-11-25 | 1 | -138/+108 |
* | Start working on eval_statement | Son Ho | 2021-11-25 | 1 | -0/+20 |
* | Implement the Aggregate branch of eval_rvalue | Son Ho | 2021-11-25 | 1 | -12/+29 |
* | Take care of warnings and fix some mistakes | Son Ho | 2021-11-25 | 1 | -18/+23 |
* | Start working on type substitution | Son Ho | 2021-11-25 | 1 | -0/+2 |
* | Make progress on eval_rvalue and update aggregate_kind | Son Ho | 2021-11-24 | 1 | -14/+83 |
* | Implement the discriminant case of eval_rvalue | Son Ho | 2021-11-24 | 1 | -5/+21 |
* | Implement eval_binary_op | Son Ho | 2021-11-24 | 1 | -6/+72 |
* | Update eval_rvalue to handle unary_op | Son Ho | 2021-11-24 | 1 | -5/+5 |
* | Implement eval_unary_op | Son Ho | 2021-11-24 | 1 | -40/+44 |
* | Make minor modifications | Son Ho | 2021-11-24 | 1 | -8/+21 |
* | Make a minor comment modification | Son Ho | 2021-11-24 | 1 | -1/+1 |
* | Implement the TwoPhaseMut case in eval_rvalue | Son Ho | 2021-11-24 | 1 | -5/+8 |
* | Make progress on eval_rvalue | Son Ho | 2021-11-24 | 1 | -2/+20 |
* | Start working on eval_rvalue | Son Ho | 2021-11-24 | 1 | -10/+38 |
* | Update eval_operand | Son Ho | 2021-11-24 | 1 | -9/+3 |
* | Update update_env_along_{read,write}_place | Son Ho | 2021-11-24 | 1 | -9/+12 |
* | Update expand_bottom_value | Son Ho | 2021-11-24 | 1 | -241/+15 |
* | Implement {read,write}_place by using access_place | Son Ho | 2021-11-24 | 1 | -6/+55 |
* | Implement access_place | Son Ho | 2021-11-24 | 1 | -0/+21 |
* | Implement a general access_projection function | Son Ho | 2021-11-24 | 1 | -106/+151 |
* | Start refactoring the code | Son Ho | 2021-11-24 | 1 | -184/+454 |
* | Insert some sanity checks | Son Ho | 2021-11-24 | 1 | -0/+3 |
* | Update activate_inactivated_mut_borrow | Son Ho | 2021-11-24 | 1 | -40/+103 |