summaryrefslogtreecommitdiff
path: root/compiler/Contexts.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-09-17Normalize the function signatures before translation to pureSon Ho1-0/+20
2023-09-17Merge trans_ctx and decls_ctxSon Ho1-1/+5
2023-09-13Fix some issuesSon Ho1-0/+13
2023-09-13Make minor modificationsSon Ho1-0/+12
2023-09-01Compute the normalized trait types maps and update InterpreterSon Ho1-1/+1
2023-09-01Implement the normalization functions in AssociatedTypesSon Ho1-0/+43
2023-08-31Start adding support for traitsSon Ho1-0/+24
2023-08-18Update following the introduction of ConstantExprSon Ho1-0/+9
2023-08-01Start adding support for const genericsSon Ho1-1/+7
2023-02-03Fix the comments for ocamldocSon Ho1-2/+2
2023-02-03Implement support for nested borrows in loops, and add loop testsSon Ho1-0/+18
2023-02-03Fix another bugSon Ho1-0/+6
2023-02-03Make progress on Interpreter.mlSon Ho1-3/+9
2023-02-03Merge loop abs so that there is one abs per function input region groupSon Ho1-0/+1
2023-02-03Improve some visitors and ctx_merge_regionsSon Ho1-8/+60
2023-02-03Make progress on the fixed point computationSon Ho1-32/+4
2023-02-03Start implementing support for loopsSon Ho1-0/+70
2022-11-10Implement a Config.ml file which groups all the global options in referencesSon Ho1-54/+1
2022-11-07Add ids to the dummy variablesSon Ho1-59/+85
2022-11-07Replace all the occurrences of `failwith ...` with `raise (Failure ...)`Son Ho1-9/+9
2022-10-28Make minor updates to account for Charon's changesSon Ho1-2/+2
2022-10-28Move some files to the Charon projectSon Ho1-0/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-59/+59
2022-10-13Rename Modules to CratesSon Ho1-3/+2
2022-09-22Reformat the project with duneSon Ho1-9/+4
2022-07-18Address much stuff of the PR, throw exceptions at remaining placesSidney Congard1-3/+8
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard1-2/+9
2022-06-08read globals from LLBC JSON into functionsSidney Congard1-0/+1
2022-05-06Add an option to eagerly end abstractions if a function has return typeSon Ho1-0/+11
2022-03-03Rename CFIM to LLBCSon Ho1-1/+1
2022-03-03Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho1-9/+9
2022-02-08Add an option to allow the presence of bottom values below borrowsSon Ho1-0/+19
2022-01-27Introduce Contexts.fun_contextSon Ho1-2/+4
2022-01-21Start working on the generation of the symbolic ASTSon Ho1-1/+5
2022-01-20Fix a minor issue in expand_symbolic_valueSon Ho1-0/+2
2022-01-20Update a commentSon Ho1-4/+15
2022-01-20Fix a commentSon Ho1-1/+1
2022-01-20Make minor modificationsSon Ho1-0/+27
2022-01-18Update type_context to have to have a type info field, use maps insteadSon Ho1-4/+5
2022-01-18Update the types and deserialization following charon's updatesSon Ho1-1/+1
2022-01-15Use the new collectionsSon Ho1-2/+2
2022-01-14Start working on greedy symbolic value expansion and expansion beforeSon Ho1-2/+41
2022-01-12Update end_borrow to check if there are loans in borrowed valuesSon Ho1-3/+11
2022-01-12Introduce dummy variables and update assign_to_placeSon Ho1-8/+37
2022-01-06CleanupSon Ho1-2/+2
2022-01-06Make the symbolic, borrow, region and abstration counters global andSon Ho1-23/+40
2022-01-06Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho1-0/+1
2022-01-05Make good progress on eval_local_function_call_symbolicSon Ho1-0/+10
2022-01-05Prepare the terrain for evaluation of function calls in symbolic modeSon Ho1-1/+3