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