summaryrefslogtreecommitdiff
path: root/compiler/PrePasses.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Cleanup a bit and improve the error messagesSon Ho2024-04-071-3/+16
|
* Cleanup and fix a mistakeSon Ho2024-03-291-1/+1
|
* formatting and changed save_error condition for failing from b to not bEscherichia2024-03-291-1/+3
|
* added file and line arg to craise and cassertEscherichia2024-03-291-4/+4
|
* Improve the error messagesSon Ho2024-03-291-8/+11
|
* formattingEscherichia2024-03-281-3/+11
|
* Should answer all comments, there are still some TODO: error message leftEscherichia2024-03-281-4/+3
|
* WIP: translate.ml and extract.ml do not compile. Some assert left to do and ↵Escherichia2024-03-281-6/+10
| | | | we need to see how translate_crate can give meta to the functions it calls
* Start updating the name type, cleanup the names and the module abbrevsSon Ho2023-11-151-33/+29
|
* Prefix variants related to types with "T"Son Ho2023-11-121-1/+1
|
* Remove some assumed types and add more support for builtin definitionsSon Ho2023-10-231-1/+1
|
* Start adding support for traitsSon Ho2023-08-311-2/+2
|
* Update the code following a refactor on Charon's sideSon Ho2023-08-081-1/+3
|
* Add a comment for PrePasses.remove_shallow_borrowsSon Ho2023-02-031-2/+87
|
* Implement a pass to filter shallow borrowsSon Ho2023-02-031-1/+80
|
* Merge loop abs so that there is one abs per function input region groupSon Ho2023-02-031-1/+115
|
* Update `switch` to have a specific treatment of ADTsSon Ho2022-11-101-3/+2
|
* Deactivate filter_drop_assigns and implement remove_useless_cf_merges in ↵Son Ho2022-11-071-4/+107
| | | | PrePasses
* Make minor updates to account for Charon's changesSon Ho2022-10-281-1/+1
|
* Reorganize a bit the projectSon Ho2022-10-271-0/+54