summaryrefslogtreecommitdiff
path: root/compiler/Substitute.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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
2021-12-01Factorize type_var and region_varSon Ho1-1/+1
2021-12-01Reimplement [erase_regions] with the substitution functionsSon Ho1-0/+4
2021-12-01Move some definitions to new filesSon Ho1-1/+2
2021-12-01Move the var definitionSon Ho1-2/+2
2021-12-01Merge statements and expressions into statementsSon Ho1-17/+11
2021-11-30Remove the vector type for the Id moduleSon Ho1-11/+6
2021-11-29Test the unit functionsSon Ho1-1/+1
2021-11-29Make various improvements in PrintSon Ho1-18/+0
2021-11-29Start working logging and make progress on printing ASTsSon Ho1-1/+1
2021-11-26Update the env definition to make the frames easier to manipulateSon Ho1-0/+1
2021-11-25Implement type substitution for function definitions (and expressions,Son Ho1-1/+122
2021-11-25Start working on function callsSon Ho1-4/+23
2021-11-25Implement the Aggregate branch of eval_rvalueSon Ho1-1/+9
2021-11-25Implement various substitution functionsSon Ho1-42/+54
2021-11-25Commit Substitute.ml (forgotten in previous commit)Son Ho1-0/+72
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 11:38:23 +0000