summaryrefslogtreecommitdiff
path: root/src/Names.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make minor modifications to the variable names generationSon Ho2022-03-041-0/+5
* Fix minor mistakes with regards to extraction of external declarationsSon Ho2022-03-041-0/+7
* Cleanup a bitSon Ho2022-03-031-31/+0
* Update the name definition to use path_elemSon Ho2022-03-031-23/+70
* Move the names from Identifiers to NamesSon Ho2022-03-031-0/+39