summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-30Introduce [binder] and use them in place of [var] in the environmentsSon Ho4-13/+28
2021-11-30Do more cleanupSon Ho1-10/+5
2021-11-30Do more cleanupSon Ho1-36/+36
2021-11-30Do more cleanupSon Ho1-42/+37
2021-11-30Do more cleanupSon Ho1-4/+3
2021-11-30Cleanup a bit Interpreter.mlSon Ho1-20/+17
2021-11-30Remove the vector type for the Id moduleSon Ho10-289/+136
2021-11-30Debug box_freeSon Ho2-63/+90
2021-11-30Fix an issueSon Ho1-15/+55
2021-11-30Replace the env parameters/return types with eval_ctx in many functionsSon Ho1-163/+166
2021-11-30Make minor modificationsSon Ho3-29/+79
2021-11-30Fix another bugSon Ho1-4/+10
2021-11-30Fix more bugsSon Ho2-7/+46
2021-11-30Fix another bugSon Ho1-1/+5
2021-11-30Fix another bugSon Ho1-1/+4
2021-11-30Add more debugging facilitiesSon Ho2-1/+26
2021-11-30Fix another bugSon Ho1-4/+8
2021-11-30Debug some issues in the interpreterSon Ho3-29/+72
2021-11-29Derive more printing functionsSon Ho3-3/+18
2021-11-29Cleanup a bitSon Ho1-77/+0
2021-11-29Derive more debugging facilitiesSon Ho2-13/+47
2021-11-29Debug some issuesSon Ho1-6/+13
2021-11-29Start deriving formatters for debuggingSon Ho8-24/+143
2021-11-29Fix a small mistakeSon Ho1-3/+1
2021-11-29Improve formattingSon Ho3-8/+11
2021-11-29Start fixing bugs in the unit test evaluationSon Ho2-3/+10
2021-11-29Fix some issues, introduce debugging log in the interpreterSon Ho1-1/+20
2021-11-29Make minor modifications for pretty-printingSon Ho1-1/+1
2021-11-29Test the unit functionsSon Ho3-8/+12
2021-11-29Make minor modifications to pretty-printingSon Ho1-2/+1
2021-11-29Debug pretty-printingSon Ho2-6/+7
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-24 12:58:02 +0000