AZero13
AZero13
Okay so if the IR just repeats I guess I can remove one use but what if there's frozen involved @goldsteinn Then it should be one use no?
> > Okay so if the IR just repeats I guess I can remove one use but what if there's frozen involved @goldsteinn > > > > > > Then...
> > > > Okay so if the IR just repeats I guess I can remove one use but what if there's frozen involved @goldsteinn > > > > >...
> > > > Okay so if the IR just repeats I guess I can remove one use but what if there's frozen involved @goldsteinn > > > > >...
@nikic Can we please merge this?
@dtcxzyw I do not have merge permissions.
> The code doesn't match the proofs (the proofs have freeze instructions, the code does not). Fixed!
> This is not improving the things as they are not used twice. Yes they are?