aszepieniec/stark-brainfuck

Labeled lists

Sword-Smith opened this issue · 0 comments

To help the debugging process, the quotient codeword lists should be stored along with a label such that e.g. the shift parameter in the non-linear combination can be associated with a specific quotient in debugging output. Currently we have to do some intricate counting to identify shifts with specific quotients.