summaryrefslogtreecommitdiff
path: root/src/Print.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-03-03In fun_id rename the variant Local to RegularSon Ho1-1/+1
2022-03-03Make good progress on adding support for external and opaqueSon Ho1-29/+44
2022-03-03Rename CFIM to LLBCSon Ho1-5/+5
2022-03-03Add an Opaque variant to type_decl_kind and start updating the codeSon Ho1-1/+2
2022-03-03Update the name definition to use path_elemSon Ho1-6/+8
2022-03-03Move the names from Identifiers to NamesSon Ho1-1/+1
2022-03-03Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho1-79/+82
2022-02-24Update the way function names are handledSon Ho1-4/+10
2022-02-23Improve pretty-printing of environments by filtering and grouping valuesSon Ho1-3/+65
2022-02-22Add support for "fused" match branchesSon Ho1-4/+7
2022-02-08Add an option to allow the presence of bottom values below borrowsSon Ho1-0/+4
2022-02-08Update some code in Print for OptionSon Ho1-0/+10
2022-02-08Implement pre-passes to update the AST before executing the interpreterSon Ho1-1/+1
2022-02-08Fix some issuesSon Ho1-0/+5
2022-02-08Start adding more assumed types and functionsSon Ho1-6/+45
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