summaryrefslogtreecommitdiff
path: root/compiler/Substitute.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-05Update following changes in CharonSon Ho1-36/+84
2023-11-27Fix the issues with the cross-references for OCaml docSon Ho1-1/+1
2023-11-20Use the name matcher implemented in CharonSon Ho1-2/+2
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-198/+176
2023-11-13Add RegionsHierarchy.mlSon Ho1-3/+9
2023-11-12Prefix variants related to types with "T"Son Ho1-4/+4
2023-11-12Rename some variantsSon Ho1-2/+2
2023-11-12Remove the 'r type variable from the ty type definitionSon Ho1-274/+152
2023-11-07Update the normalization of associated typesSon Ho1-0/+3
2023-10-23Remove some assumed types and add more support for builtin definitionsSon Ho1-13/+1
2023-09-01Compute the normalized trait types maps and update InterpreterSon Ho1-14/+33
2023-09-01Implement the normalization functions in AssociatedTypesSon Ho1-4/+32
2023-08-31Start adding support for traitsSon Ho1-183/+260
2023-08-02Make progressSon Ho1-0/+5
2023-08-01Start adding support for const genericsSon Ho1-166/+154
2023-02-03Implement support for nested borrows in loops, and add loop testsSon Ho1-1/+29
2023-02-03Make some fixesSon Ho1-2/+1
2023-02-03Improve some visitors and ctx_merge_regionsSon Ho1-1/+14
2023-02-03Improve merge_abstractionsSon Ho1-0/+12
2023-02-03Improve the value visitors and some substitution functionsSon Ho1-6/+5
2023-02-03Make progress on environments matches and joinsSon Ho1-23/+120
2022-11-10Update `switch` to have a specific treatment of ADTsSon Ho1-12/+19
2022-11-07Replace all the occurrences of `failwith ...` with `raise (Failure ...)`Son Ho1-1/+1
2022-10-28Move the AssignGlobal case from statement to rvalueSon Ho1-3/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-2/+2
2022-10-26Add meta data with code locations to the various definitionsSon Ho1-0/+4
2022-09-22Make minor cleanupSon Ho1-2/+4
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard1-9/+2
2022-05-15Add AggregatedOptionSon Ho1-2/+8
2022-05-10Make minor modificationsSon Ho1-1/+1
2022-05-01Perform some renamingsSon Ho1-3/+3
2022-03-03Make good progress on adding support for external and opaqueSon Ho1-4/+4
2022-03-03Rename CFIM to LLBCSon Ho1-1/+1
2022-03-03Add an Opaque variant to type_decl_kind and start updating the codeSon Ho1-0/+2
2022-03-03Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho1-13/+13
2022-02-08Start adding more assumed types and functionsSon Ho1-2/+8
2022-01-26Implement sanity checks to check the types of the input/output argumentsSon Ho1-1/+4
2022-01-18Update the types and deserialization following charon's updatesSon Ho1-6/+6
2022-01-06Make the symbolic, borrow, region and abstration counters global andSon Ho1-8/+4
2022-01-06Implement statement_has_loops and make minor modificationsSon Ho1-1/+0
2022-01-05Cleanup a bitSon Ho1-0/+2
2022-01-05Make good progress on eval_local_function_call_symbolicSon Ho1-0/+50
2022-01-04Implement compute_expanded_symbolic_adt_valueSon Ho1-0/+28
2021-12-17Implement apply_proj_borrows_on_shared_borrowSon Ho1-0/+21
2021-12-17Rename some functionsSon Ho1-4/+4
2021-12-17Add more field type instantiation functions for the ADTsSon Ho1-1/+40
2021-12-17Rename some functionsSon Ho1-3/+3
2021-12-17Use RegionVarId and RegionId in a more consistent mannerSon Ho1-2/+2
2021-12-01Merge the ADTs, tuples and assumed types in the type and valueSon Ho1-6/+3