aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds/chformal.cc
Commit message (Expand)AuthorAgeFilesLines
* Fix typographical and grammatical errors and inconsistencies.whitequark2019-01-021-2/+2
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* Fix gcc compiler warningClifford Wolf2017-04-051-1/+1
* Add "chformal -assert2assume" and friendsClifford Wolf2017-02-281-0/+44
* Add "chformal" passClifford Wolf2017-02-271-0/+238