v0.1.126: Update dependency: deps/k_release (#167)

Update `kframework` to `7.1.318`.

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>

v0.1.125: Update dependency: deps/uv2nix (#168)

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

v0.1.124: Update dependency: deps/k_release (#162)

Update `kframework` to `7.1.304`.

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>

v0.1.123: Update dependency: deps/uv2nix (#166)

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

v0.1.122: Update dependency: deps/uv2nix (#165)

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

v0.1.121: Update dependency: deps/uv2nix (#164)

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

v0.1.120: Update dependency: deps/uv2nix (#163)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Julian Kuners <julian.kuners@gmail.com>

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

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>

v0.1.118: Update dependency: deps/k_release (#138)

Update `kframework` to `7.1.280`.

---------

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

v0.1.117: Add new simp rules for integer operations and Bool2Word (#153)

These rules are used for zkevm-harness project's `MSTORE` termination
proof.

---------

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