Skip to content
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

Use overflow sub and unit test #2228

Merged
merged 2 commits into from
Jun 11, 2024
Merged

Conversation

dannywillems
Copy link
Member

@dannywillems dannywillems commented May 16, 2024

TODO: add tests. DO NOT MERGE.

@dannywillems dannywillems marked this pull request as draft May 16, 2024 09:55
@querolita querolita changed the base branch from master to zkvm/mips/test-load16 June 3, 2024 13:59
@querolita querolita marked this pull request as ready for review June 3, 2024 13:59
@querolita querolita changed the title WIP: use overflow sub Use overflow sub and unit test Jun 3, 2024
@querolita
Copy link
Member

Added test_unit_sub_instruction

Copy link
Member Author

@dannywillems dannywillems left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I cannot approve myself the PR as I opened it. But LGTM

Copy link
Member

@querolita querolita left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Accepting after Danny checked the latest changes

@querolita querolita force-pushed the dw/use-overflow-sub-interpreter-mips branch from beeb5cc to 9003628 Compare June 11, 2024 12:07
@querolita querolita changed the base branch from zkvm/mips/test-load16 to zkvm/mips/make_test_rng_seed June 11, 2024 12:07
Base automatically changed from zkvm/mips/make_test_rng_seed to master June 11, 2024 13:45
@querolita querolita merged commit 10edaf8 into master Jun 11, 2024
6 checks passed
@querolita querolita deleted the dw/use-overflow-sub-interpreter-mips branch June 11, 2024 13:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants