iddo333

There seems to be another typo in ALU.cpp: enforceBooleanity(witnessRemainder_[i], Opcode::UMOD) in ALU_UDIV_Gadget::generateConstraints() I think that the unit test of UMOD should pass just fine, but yes it will still be...

About labels, the current implementation is rather low-level and the programmer needs to take care of label handling. You can see for example in the file tinyram/stark-tinyram-tests/ConstraintsSystem2Bair_UTEST.cpp that there are...