summaryrefslogtreecommitdiff
path: root/src/Substitute.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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