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