summaryrefslogtreecommitdiff
path: root/src/Print.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-14Implement greedy expansion of symbolic variables and expansion beforeSon Ho1-10/+9
2022-01-14Start working on greedy symbolic value expansion and expansion beforeSon Ho1-9/+9
2022-01-14Update aproj to make AEndedProjLoans take an `aproj option` and add theSon Ho1-2/+6
2022-01-13Introduce "AIgnore" for the avaluesSon Ho1-0/+1
2022-01-13Introduce ended borrow/loan projectors over symbolic valuesSon Ho1-0/+2
2022-01-12Update end_borrow to check if there are loans in borrowed valuesSon Ho1-0/+19
2022-01-12Introduce dummy variables and update assign_to_placeSon Ho1-1/+3
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 08:14:02 +0000