summaryrefslogtreecommitdiff
path: root/src/PrePasses.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add a pass to cleanup the deconstructed ADTs and fix a small issueSon Ho2022-05-151-0/+1
* Make good progress on adding support for external and opaqueSon Ho2022-03-031-1/+5
* Rename CFIM to LLBCSon Ho2022-03-031-2/+2
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-1/+1
* Add PrePasses.ml which was forgotten in a previous commitSon Ho2022-02-081-0/+50