summaryrefslogtreecommitdiff
path: root/src/Substitute.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make minor cleanupSon Ho2022-09-221-2/+4
* concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-9/+2
* Add AggregatedOptionSon Ho2022-05-151-2/+8
* Make minor modificationsSon Ho2022-05-101-1/+1
* Perform some renamingsSon Ho2022-05-011-3/+3
* Make good progress on adding support for external and opaqueSon Ho2022-03-031-4/+4
* Rename CFIM to LLBCSon Ho2022-03-031-1/+1
* Add an Opaque variant to type_decl_kind and start updating the codeSon Ho2022-03-031-0/+2
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-13/+13
* Start adding more assumed types and functionsSon Ho2022-02-081-2/+8
* Implement sanity checks to check the types of the input/output argumentsSon Ho2022-01-261-1/+4
* Update the types and deserialization following charon's updatesSon Ho2022-01-181-6/+6
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-8/+4
* Implement statement_has_loops and make minor modificationsSon Ho2022-01-061-1/+0
* Cleanup a bitSon Ho2022-01-051-0/+2
* Make good progress on eval_local_function_call_symbolicSon Ho2022-01-051-0/+50
* Implement compute_expanded_symbolic_adt_valueSon Ho2022-01-041-0/+28
* Implement apply_proj_borrows_on_shared_borrowSon Ho2021-12-171-0/+21
* Rename some functionsSon Ho2021-12-171-4/+4
* Add more field type instantiation functions for the ADTsSon Ho2021-12-171-1/+40
* Rename some functionsSon Ho2021-12-171-3/+3
* Use RegionVarId and RegionId in a more consistent mannerSon Ho2021-12-171-2/+2
* Merge the ADTs, tuples and assumed types in the type and valueSon Ho2021-12-011-6/+3
* Factorize type_var and region_varSon Ho2021-12-011-1/+1
* Reimplement [erase_regions] with the substitution functionsSon Ho2021-12-011-0/+4
* Move some definitions to new filesSon Ho2021-12-011-1/+2
* Move the var definitionSon Ho2021-12-011-2/+2
* Merge statements and expressions into statementsSon Ho2021-12-011-17/+11
* Remove the vector type for the Id moduleSon Ho2021-11-301-11/+6
* Test the unit functionsSon Ho2021-11-291-1/+1
* Make various improvements in PrintSon Ho2021-11-291-18/+0
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-1/+1
* Update the env definition to make the frames easier to manipulateSon Ho2021-11-261-0/+1
* Implement type substitution for function definitions (and expressions,Son Ho2021-11-251-1/+122
* Start working on function callsSon Ho2021-11-251-4/+23
* Implement the Aggregate branch of eval_rvalueSon Ho2021-11-251-1/+9
* Implement various substitution functionsSon Ho2021-11-251-42/+54
* Commit Substitute.ml (forgotten in previous commit)Son Ho2021-11-251-0/+72