AZero13

Results 191 comments of 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 > > > > >...

> 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?