aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/fmcombine.cc
Commit message (Expand)AuthorAgeFilesLines
* fmcombine: Add _gold/_gate suffix to memidsJannis Harder2022-06-031-0/+3
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* fmcombine: use the master ff cell type listMarcelina Koƛcielnicka2020-06-301-2/+1
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-6/+6
* kernel: use more ID::*Eddie Hung2020-04-021-1/+1
* Fix typo in fmcombine log message, fixes #1063Clifford Wolf2019-06-051-2/+2
* Add "fmcombine -initeq -anyeq"Clifford Wolf2019-05-111-3/+38
* Add "fmcombine -fwd -bwd -nop"Clifford Wolf2019-03-151-10/+59
* Add fmcombine passClifford Wolf2019-03-151-0/+292