summaryrefslogtreecommitdiff
path: root/src/ValuesUtils.ml (follow)
Commit message (Collapse)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
| | | | copy
* 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
| | | | definitions
* Move some definitions to new filesSon Ho2021-12-011-0/+7