From 153194806ab40f620b4f266cf40f35e4970a7ba1 Mon Sep 17 00:00:00 2001 From: iddo Date: Thu, 12 Jul 2018 07:05:58 +0300 Subject: [PATCH] missing tinyram opcode --- .../src/TinyRAMtoBair/RamToContraintSystem/traceConsistency.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tinyram/stark-tinyram/src/TinyRAMtoBair/RamToContraintSystem/traceConsistency.cpp b/tinyram/stark-tinyram/src/TinyRAMtoBair/RamToContraintSystem/traceConsistency.cpp index 914a410..1e1f7f9 100644 --- a/tinyram/stark-tinyram/src/TinyRAMtoBair/RamToContraintSystem/traceConsistency.cpp +++ b/tinyram/stark-tinyram/src/TinyRAMtoBair/RamToContraintSystem/traceConsistency.cpp @@ -168,6 +168,7 @@ case Opcode::MOV: case Opcode::SHL: case Opcode::SHR: + case Opcode::MULL: case Opcode::RESERVED_OPCODE_24: selectorToConstraint[j] = 0; //constraintPoly = constraintPoly + (selector_j * (regiSecond + aluOutput_.result_)); @@ -302,6 +303,7 @@ case Opcode::SHL: case Opcode::SHR: case Opcode::MOV: + case Opcode::MULL: case Opcode::RESERVED_OPCODE_24: pb_->val(regiSecond) = pb_->val(aluOutput_.result_); break;