summaryrefslogtreecommitdiff
path: root/compiler/ExtractName.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-24Rename meta into spanAymeric Fromherz1-2/+2
2024-03-29added file and line arg to craise and cassertEscherichia1-1/+1
2024-03-28formattingEscherichia1-1/+2
2024-03-28Should answer all comments, there are still some TODO: error message leftEscherichia1-6/+6
2024-03-28WIP: translate.ml and extract.ml do not compile. Some assert left to do and w...Escherichia1-2/+3
2024-03-11Simplify the generated namesSon Ho1-14/+25
2024-03-11Update the generation of namesSon Ho1-24/+33
2024-03-10Update the name generation and add CLI to print external pat namesSon Ho1-16/+9
2023-12-05Update following changes in CharonSon Ho1-2/+2
2023-11-29Update the code following changes in the NameMatcherSon Ho1-6/+11
2023-11-24Add the alloc::string::String type in the builtinsSon Ho1-0/+1
2023-11-24Make a minor update in ExtractName.pattern_to_extract_nameSon Ho1-1/+4
2023-11-22Cleanup a bitSon Ho1-87/+0
2023-11-22Use NameMatcher.NameMatcherMap instead of associative listsSon Ho1-13/+8
2023-11-22Improve further the generation of parent clause/trait clause namesSon Ho1-0/+2
2023-11-21Improve the generation of parent clause namesSon Ho1-4/+20
2023-11-21Fix issues with the builtin namesSon Ho1-3/+5
2023-11-20Use the name matcher implemented in CharonSon Ho1-0/+177
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 21:41:54 +0000