aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Z/RewriteAddToAdcWf.v
Commit message (Expand)AuthorAge
* Add compiler optimization for add-with-carryGravatar Jason Gross2017-05-17