| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Make various improvements in Print | Son Ho | 2021-11-29 | 3 | -33/+64 |
* | Make more cleanup | Son Ho | 2021-11-29 | 1 | -72/+75 |
* | Rename a function | Son Ho | 2021-11-29 | 1 | -10/+9 |
* | Make more progress on cleaning | Son Ho | 2021-11-29 | 1 | -43/+43 |
* | Make progress on cleaning | Son Ho | 2021-11-29 | 1 | -19/+15 |
* | Start cleaning Print.ml | Son Ho | 2021-11-29 | 1 | -25/+24 |
* | Start working logging and make progress on printing ASTs | Son Ho | 2021-11-29 | 9 | -12/+188 |
* | 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 | 2 | -0/+36 |
* | 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 | 3 | -21/+178 |
* | 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 | 3 | -31/+149 |
* | 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 | 6 | -51/+61 |
* | Use var instead of VarId.id in environments | Son Ho | 2021-11-25 | 1 | -7/+12 |
* | Start working on eval_local_function_call | Son Ho | 2021-11-25 | 3 | -11/+54 |
* | Implement type substitution for function definitions (and expressions, | Son Ho | 2021-11-25 | 2 | -1/+124 |
* | Start working on function calls | Son Ho | 2021-11-25 | 4 | -7/+49 |
* | 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 |
* | Make a minor modification | Son Ho | 2021-11-25 | 1 | -1/+0 |
* | Implement the Aggregate branch of eval_rvalue | Son Ho | 2021-11-25 | 3 | -13/+41 |
* | Implement various substitution functions | Son Ho | 2021-11-25 | 2 | -50/+73 |
* | Commit Substitute.ml (forgotten in previous commit) | Son Ho | 2021-11-25 | 1 | -0/+72 |
* | 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 | 3 | -17/+90 |
* | Implement the discriminant case of eval_rvalue | Son Ho | 2021-11-24 | 2 | -5/+25 |
* | Implement eval_binary_op | Son Ho | 2021-11-24 | 5 | -94/+88 |
* | Update eval_rvalue to handle unary_op | Son Ho | 2021-11-24 | 1 | -5/+5 |
* | Implement eval_unary_op | Son Ho | 2021-11-24 | 3 | -42/+63 |
* | 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 |