o1vm/riscv32im: rename mod_ in mod_unsigned for readability

o1-labs · Dec 2, 2024 · 517924f · 517924f
1 parent c9207b8
commit 517924f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/o1vm/src/interpreters/riscv32im/constraints.rs b/o1vm/src/interpreters/riscv32im/constraints.rs
@@ -371,7 +371,7 @@ impl<Fp: Field> InterpreterEnv for Env<Fp> {
         self.variable(position)
     }
 
-    unsafe fn mod_(
+    unsafe fn mod_unsigned(
         &mut self,
         _x: &Self::Variable,
         _y: &Self::Variable,

diff --git a/o1vm/src/interpreters/riscv32im/interpreter.rs b/o1vm/src/interpreters/riscv32im/interpreter.rs
@@ -1306,7 +1306,7 @@ pub trait InterpreterEnv {
     /// There are no constraints on the returned values; callers must manually add constraints to
     /// ensure that the pair of returned values correspond to the given values `x` and `y`, and
     /// that they fall within the desired range.
-    unsafe fn mod_(
+    unsafe fn mod_unsigned(
         &mut self,
         x: &Self::Variable,
         y: &Self::Variable,

diff --git a/o1vm/src/interpreters/riscv32im/witness.rs b/o1vm/src/interpreters/riscv32im/witness.rs
@@ -543,7 +543,7 @@ impl<Fp: Field> InterpreterEnv for Env<Fp> {
         res
     }
 
-    unsafe fn mod_(
+    unsafe fn mod_unsigned(
         &mut self,
         x: &Self::Variable,
         y: &Self::Variable,