| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Derive more printing functions | Son Ho | 2021-11-29 | 3 | -3/+18 |
* | Cleanup a bit | Son Ho | 2021-11-29 | 1 | -77/+0 |
* | Derive more debugging facilities | Son Ho | 2021-11-29 | 2 | -13/+47 |
* | Debug some issues | Son Ho | 2021-11-29 | 1 | -6/+13 |
* | Start deriving formatters for debugging | Son Ho | 2021-11-29 | 8 | -24/+143 |
* | Fix a small mistake | Son Ho | 2021-11-29 | 1 | -3/+1 |
* | Improve formatting | Son Ho | 2021-11-29 | 3 | -8/+11 |
* | Start fixing bugs in the unit test evaluation | Son Ho | 2021-11-29 | 2 | -3/+10 |
* | Fix some issues, introduce debugging log in the interpreter | Son Ho | 2021-11-29 | 1 | -1/+20 |
* | Make minor modifications for pretty-printing | Son Ho | 2021-11-29 | 1 | -1/+1 |
* | Test the unit functions | Son Ho | 2021-11-29 | 3 | -8/+12 |
* | Make minor modifications to pretty-printing | Son Ho | 2021-11-29 | 1 | -2/+1 |
* | Debug pretty-printing | Son Ho | 2021-11-29 | 2 | -6/+7 |
* | Fix some issues and start printing modules | Son Ho | 2021-11-29 | 3 | -7/+27 |
* | Finish cleaning up CfimOfJson | Son Ho | 2021-11-29 | 1 | -116/+115 |
* | Continue cleaning up | Son Ho | 2021-11-29 | 1 | -54/+53 |
* | Continue cleanin | Son Ho | 2021-11-29 | 1 | -29/+28 |
* | Start cleaning up CfimOfJson | Son Ho | 2021-11-29 | 1 | -8/+8 |
* | Move some definitions from CfimOfJson.ml to a new Modules.ml | Son Ho | 2021-11-29 | 3 | -14/+26 |
* | Implement more utilities to print statements and expressions | Son Ho | 2021-11-29 | 1 | -3/+9 |
* | Implement DefCtxCfimAst.{type_def_to_string, fun_def_to_string} | Son Ho | 2021-11-29 | 1 | -27/+108 |
* | Make modifications to fun_def_to_string | Son Ho | 2021-11-29 | 1 | -4/+16 |
* | Implement fun_def_to_string | Son Ho | 2021-11-29 | 2 | -3/+61 |
* | Implement eval_ctx_to_ast_formatter | Son Ho | 2021-11-29 | 1 | -0/+23 |
* | Implement expression_to_string | Son Ho | 2021-11-29 | 1 | -0/+48 |
* | 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 |