Merge pull request #150 from valida-xyz/sra-instruction

Sra instruction in basic machine
valida-xyz · Apr 11, 2024 · 92b217a · 92b217a
2 parents afce235 + 07f28f3
commit 92b217a
Show file tree

Hide file tree

Showing 2 changed files with 86 additions and 0 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/basic/src/lib.rs b/basic/src/lib.rs
@@ -1122,6 +1122,9 @@ impl<F: PrimeField32 + TwoAdicField> Machine<F> for BasicMachine<F> {
             <Shr32Instruction as Instruction<Self, F>>::OPCODE => {
                 Shr32Instruction::execute_with_advice::<Adv>(self, ops, advice)
             }
+            <Sra32Instruction as Instruction<Self, F>>::OPCODE => {
+                Sra32Instruction::execute_with_advice::<Adv>(self, ops, advice)
+            }
             <Lt32Instruction as Instruction<Self, F>>::OPCODE => {
                 Lt32Instruction::execute_with_advice::<Adv>(self, ops, advice)
             }