summaryrefslogtreecommitdiff
path: root/compiler/PrePasses.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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