summaryrefslogtreecommitdiff
path: root/src/Print.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-29Make the field names optional and make progress on ExtractToFStarSon Ho1-7/+17
2022-01-27Introduce AEndedSharedBorrow so as not to introduce ABottom whenSon Ho1-0/+1
2022-01-27Add some printing facilities to SymbolicToPureSon Ho1-0/+50
2022-01-26Fix various issuesSon Ho1-2/+2
2022-01-26Add a meta-value in SharedBorrow to carry the shared valueSon Ho1-1/+1
2022-01-24Start working on printing for symbolic ASTSon Ho1-2/+2
2022-01-21Update AProjLoans and AEndedProjLoans to take a list of given backSon Ho1-6/+17
2022-01-19Start storing meta-values in the avalues, for synthesis purposesSon Ho1-4/+7
2022-01-18Update type_context to have to have a type info field, use maps insteadSon Ho1-20/+23
2022-01-15Use the new collectionsSon Ho1-5/+5
2022-01-15Start working on Collections.mlSon Ho1-1/+1
2022-01-14Improve printing of symbolic values in abstractionsSon Ho1-18/+16
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