In the spec (https://github.com/openvm-org/openvm/blob/main/docs/specs/ISA.md), the sign check of remainder in the integer division is incorrect (it seems to be a typo) in the section RV32M Extension:
Integer division is defined by dividend = q * divisor + r where 0 <= |r| < |divisor| and either sign(r) = sign(divisor) or r = 0.
The sign of remainder r is supposed to be validated against dividend instead of divisor.
In the spec (https://github.com/openvm-org/openvm/blob/main/docs/specs/ISA.md), the sign check of remainder in the integer division is incorrect (it seems to be a typo) in the section RV32M Extension:
The sign of remainder
ris supposed to be validated againstdividendinstead ofdivisor.