summaryrefslogtreecommitdiff
path: root/compiler/RegionsHierarchy.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Rename meta into spanAymeric Fromherz2024-05-241-13/+13
|
* Reformat some filesSon Ho2024-04-221-1/+2
|
* item_metaNadrieril2024-04-181-1/+1
|
* added file and line arg to craise and cassertEscherichia2024-03-291-6/+6
|
* formattingEscherichia2024-03-281-9/+13
|
* Should answer all comments, there are still some TODO: error message leftEscherichia2024-03-281-5/+5
|
* Added sanity_check and sanity_check_opt_meta helpers and changed sanity ↵Escherichia2024-03-281-2/+2
| | | | checks related cassert to these helpers to have a proper error message
* added a meta option field to norm_ctx and changed the meta used by some ↵Escherichia2024-03-281-0/+1
| | | | assert to the norm_ctx one
* WIP: translate.ml and extract.ml do not compile. Some assert left to do and ↵Escherichia2024-03-281-15/+16
| | | | we need to see how translate_crate can give meta to the functions it calls
* Update following changes in CharonSon Ho2024-03-171-1/+1
|
* Update following changes in CharonSon Ho2023-12-051-14/+52
|
* Start updating the name type, cleanup the names and the module abbrevsSon Ho2023-11-151-4/+16
|
* Normalize the types when computing the regions hierarchiesSon Ho2023-11-131-4/+38
|
* Make minor modificationsSon Ho2023-11-131-4/+12
|
* Add RegionsHierarchy.mlSon Ho2023-11-131-0/+243