summaryrefslogtreecommitdiff
path: root/compiler/ExtractName.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename meta into spanAymeric Fromherz2024-05-241-2/+2
|
* added file and line arg to craise and cassertEscherichia2024-03-291-1/+1
|
* formattingEscherichia2024-03-281-1/+2
|
* Should answer all comments, there are still some TODO: error message leftEscherichia2024-03-281-6/+6
|
* WIP: translate.ml and extract.ml do not compile. Some assert left to do and ↵Escherichia2024-03-281-2/+3
| | | | we need to see how translate_crate can give meta to the functions it calls
* Simplify the generated namesSon Ho2024-03-111-14/+25
|
* Update the generation of namesSon Ho2024-03-111-24/+33
|
* Update the name generation and add CLI to print external pat namesSon Ho2024-03-101-16/+9
|
* Update following changes in CharonSon Ho2023-12-051-2/+2
|
* Update the code following changes in the NameMatcherSon Ho2023-11-291-6/+11
|
* Add the alloc::string::String type in the builtinsSon Ho2023-11-241-0/+1
|
* Make a minor update in ExtractName.pattern_to_extract_nameSon Ho2023-11-241-1/+4
|
* Cleanup a bitSon Ho2023-11-221-87/+0
|
* Use NameMatcher.NameMatcherMap instead of associative listsSon Ho2023-11-221-13/+8
|
* Improve further the generation of parent clause/trait clause namesSon Ho2023-11-221-0/+2
|
* Improve the generation of parent clause namesSon Ho2023-11-211-4/+20
|
* Fix issues with the builtin namesSon Ho2023-11-211-3/+5
|
* Use the name matcher implemented in CharonSon Ho2023-11-201-0/+177