summaryrefslogtreecommitdiff
path: root/src/ValuesUtils.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Start storing meta-values in the avalues, for synthesis purposesSon Ho2022-01-191-0/+5
* Remove ty_has_regions and use ty_has_borrows insteadSon Ho2022-01-181-3/+4
* Rename type_is_primitively_copyable to ty_is_...Son Ho2022-01-181-1/+1
* Implement greedy expansion of symbolic variables and expansion beforeSon Ho2022-01-141-0/+29
* Make more updates to assignment and update ctx_pop_frameSon Ho2022-01-131-0/+18
* Update end_borrow to check if there are loans in borrowed valuesSon Ho2022-01-121-0/+2
* Move more definitions and do more cleanupSon Ho2022-01-061-0/+46
* Cleanup and reorganizeSon Ho2022-01-061-2/+8
* Merge the ADTs, tuples and assumed types in the type and valueSon Ho2021-12-011-1/+2
* Move some definitions to new filesSon Ho2021-12-011-0/+7