Skip to content

Add new simp rules for integer operations and Bool2Word #153

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 12 commits into
base: master
Choose a base branch
from

Conversation

Stevengre
Copy link
Contributor

@Stevengre Stevengre commented Jun 25, 2025

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

@Stevengre Stevengre requested a review from tothtamas28 June 25, 2025 10:56
@Stevengre Stevengre self-assigned this Jun 25, 2025
@Stevengre Stevengre marked this pull request as draft June 25, 2025 11:37
@Stevengre Stevengre marked this pull request as ready for review June 30, 2025 06:27
@Stevengre Stevengre changed the base branch from jh/sym-read-mem to master July 10, 2025 06:43
@Stevengre Stevengre changed the title Simp rules 4 zkevm-harness project's MSTORE Add new simp rules for integer operations and Bool2Word Jul 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants