summaryrefslogtreecommitdiff
path: root/compiler/Contexts.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-03-08Do not fail in end_abstraction_aux if the abs disappearedSon Ho1-3/+7
2024-03-08Make progress on propagating the changesSon Ho1-0/+2
2024-01-25Fix a minor issue when values are moved in the loopsSon Ho1-0/+19
2023-12-18Rename some definitionsSon Ho1-21/+21
2023-12-05Fix a minor issue with the use of const genericsSon Ho1-1/+5
2023-12-05Update following changes in CharonSon Ho1-1/+1
2023-11-27Fix the issues with the cross-references for OCaml docSon Ho1-4/+4
2023-11-16Finish propagating the changes to the names and cleaningSon Ho1-1/+1
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-27/+25
2023-11-13Normalize the types when computing the regions hierarchiesSon Ho1-6/+2
2023-11-13Add RegionsHierarchy.mlSon Ho1-0/+2
2023-11-12Remove the 'r type variable from the ty type definitionSon Ho1-170/+69
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