aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds/chformal.cc
Commit message (Expand)AuthorAgeFilesLines
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-37/+37
* kernel: use more ID::*Eddie Hung2020-04-021-4/+4
* 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