summaryrefslogtreecommitdiff
path: root/src/Print.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-07Add an optional borrow identifier to AIgnoredMutBorrow, introduce theSon Ho1-2/+15
2022-01-07Improve logging and introduce eval_operands_prepareSon Ho1-1/+7
2022-01-06Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho1-8/+4
2022-01-06Fix some bugsSon Ho1-0/+4
2022-01-06Make minor improvements to printingSon Ho1-8/+13
2022-01-06Fix some printing issuesSon Ho1-2/+2
2022-01-06Make good progress on implementing utilities to test symbolic executionSon Ho1-1/+1
2022-01-05Introduce the type_context definitionSon Ho1-4/+6
2022-01-03Replace AProjSharedLoan with AIgnoredSharedLoanSon Ho1-4/+2
2022-01-03Cleanup a bit to remove warningsSon Ho1-5/+3
2021-12-17Rename AIgnoredShared{Borrow,Loan} to AProjShared{Borrow,Loan}Son Ho1-2/+2
2021-12-17Change the definition of abstract_shared_borrowsSon Ho1-7/+9
2021-12-17Use RegionVarId and RegionId in a more consistent mannerSon Ho1-17/+55
2021-12-17Implement the avalue cases of give_back_valueSon Ho1-1/+1
2021-12-08Rename env_value to env_elemSon Ho1-3/+2
2021-12-08Add a commentSon Ho1-0/+4
2021-12-08Remove g_value, g_typed_value, etc. to make values and abstract valuesSon Ho1-52/+59
2021-12-07Fix Print.mlSon Ho1-6/+6
2021-12-03Make minor cleanupSon Ho1-3/+2
2021-12-01Merge the ADTs, tuples and assumed types in the type and valueSon Ho1-49/+50
2021-12-01Merge value and avalueSon Ho1-48/+58
2021-12-01Simplify the adt_value typeSon Ho1-3/+8
2021-12-01Cleanup a bitSon Ho1-5/+0
2021-12-01Factorize type_var and region_varSon Ho1-6/+6
2021-12-01Move some definitions to new filesSon Ho1-3/+4
2021-12-01Move the var definitionSon Ho1-6/+6
2021-12-01Merge statements and expressions into statementsSon Ho1-36/+28
2021-11-30Make minor cleanupSon Ho1-6/+1
2021-11-30Introduce [binder] and use them in place of [var] in the environmentsSon Ho1-3/+8
2021-11-30Remove the vector type for the Id moduleSon Ho1-40/+26
2021-11-30Debug box_freeSon Ho1-2/+3
2021-11-30Fix more bugsSon Ho1-0/+4
2021-11-30Add more debugging facilitiesSon Ho1-0/+16
2021-11-30Debug some issues in the interpreterSon Ho1-12/+26
2021-11-29Cleanup a bitSon Ho1-77/+0
2021-11-29Start deriving formatters for debuggingSon Ho1-0/+77
2021-11-29Improve formattingSon Ho1-5/+8
2021-11-29Start fixing bugs in the unit test evaluationSon Ho1-2/+3
2021-11-29Make minor modifications for pretty-printingSon Ho1-1/+1
2021-11-29Make minor modifications to pretty-printingSon Ho1-2/+1
2021-11-29Debug pretty-printingSon Ho1-5/+6
2021-11-29Fix some issues and start printing modulesSon Ho1-1/+21
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 Ho1-3/+57
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 Ho1-15/+49
2021-11-29Make more cleanupSon Ho1-72/+75