summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-29Fix some issues and start printing modulesSon Ho3-7/+27
2021-11-29Finish cleaning up CfimOfJsonSon Ho1-116/+115
2021-11-29Continue cleaning upSon Ho1-54/+53
2021-11-29Continue cleaninSon Ho1-29/+28
2021-11-29Start cleaning up CfimOfJsonSon Ho1-8/+8
2021-11-29Move some definitions from CfimOfJson.ml to a new Modules.mlSon Ho3-14/+26
2021-11-29Implement more utilities to print statements and expressionsSon Ho1-3/+9
2021-11-29Implement DefCtxCfimAst.{type_def_to_string, fun_def_to_string}Son Ho1-27/+108
2021-11-29Make modifications to fun_def_to_stringSon Ho1-4/+16
2021-11-29Implement fun_def_to_stringSon Ho2-3/+61
2021-11-29Implement eval_ctx_to_ast_formatterSon Ho1-0/+23
2021-11-29Implement expression_to_stringSon Ho1-0/+48
2021-11-29Make various improvements in PrintSon Ho3-33/+64
2021-11-29Make more cleanupSon Ho1-72/+75
2021-11-29Rename a functionSon Ho1-10/+9
2021-11-29Make more progress on cleaningSon Ho1-43/+43
2021-11-29Make progress on cleaningSon Ho1-19/+15
2021-11-29Start cleaning Print.mlSon Ho1-25/+24
2021-11-29Start working logging and make progress on printing ASTsSon Ho9-12/+188
2021-11-29Cleanup a bit to remove the warningsSon Ho1-11/+23
2021-11-26Implement test_all_unit_functionsSon Ho1-5/+26
2021-11-26Implement test_unit_functionSon Ho2-0/+36
2021-11-26Implement box dereferencement (concrete interpreter)Son Ho1-8/+42
2021-11-26Make progress on evaluate_non_local_function_callSon Ho3-21/+178
2021-11-26Add some commentsSon Ho1-0/+10
2021-11-26Implement eval_expressionSon Ho1-4/+72
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 14:30:49 +0000