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