summaryrefslogtreecommitdiff
path: root/compiler/PrePasses.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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 w...Escherichia2024-03-281-6/+10
* 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 PreP...Son Ho2022-11-071-4/+107
* Make minor updates to account for Charon's changesSon Ho2022-10-281-1/+1
* Reorganize a bit the projectSon Ho2022-10-271-0/+54