aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers/Z/RewriteAddToAdc.v
Commit message (Expand)AuthorAge
* remove old pipelineGravatar Andres Erbsen2019-01-09
* Add reflective compose, notation for Z.Syntax.{Expr,Interp}Gravatar Jason Gross2017-10-12
* Add compiler optimization for add-with-carryGravatar Jason Gross2017-05-17