Skip to content

v0.1.119: Add signed and unsigned remainder operations for RISC-V semantics (#160)

Choose a tag to compare

View all tags
@github-actions github-actions released this 20 Aug 10:02
v0.1.119
389efd9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Implement rules for `REM` and `REMU` instructions in `riscv.md`,
detailing their behavior and special cases. Update syntax definitions in
`word.md` to include remainder operations, and provide comprehensive
handling for division by zero and overflow scenarios. Adjust test
integration to utilize the `rv32em` architecture for relevant tests.


Close https://github.com/runtimeverification/zkevm-harness/issues/80

---------

Co-authored-by: devops <devops@runtimeverification.com>
Assets 2
Loading