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