summaryrefslogtreecommitdiff
path: root/compiler/RegionsHierarchy.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update following changes in CharonSon Ho2024-03-171-1/+1
* Update following changes in CharonSon Ho2023-12-051-14/+52
* Start updating the name type, cleanup the names and the module abbrevsSon Ho2023-11-151-4/+16
* Normalize the types when computing the regions hierarchiesSon Ho2023-11-131-4/+38
* Make minor modificationsSon Ho2023-11-131-4/+12
* Add RegionsHierarchy.mlSon Ho2023-11-131-0/+243