summaryrefslogtreecommitdiff
path: root/compiler/Names.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-10-28Move some files to the Charon projectSon Ho1-80/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-7/+7
2022-09-22Reformat the project with duneSon Ho1-4/+0
2022-07-18Address much stuff of the PR, throw exceptions at remaining placesSidney Congard1-0/+2
2022-05-10Make minor modificationsSon Ho1-0/+8
2022-05-06Don't use the Rust disambiguators when generating names at extractionSon Ho1-0/+7
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