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.

Sign up for GitHub

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

Jump to bottom

Negative division error. #69

Open
Tracked by #180
MCJOHN974 opened this issue Nov 6, 2023 · 0 comments
Open
Tracked by #180

Negative division error. #69

MCJOHN974 opened this issue Nov 6, 2023 · 0 comments
Assignees
@MCJOHN974
Labels
bug Something isn't working
Milestone
ZK WASM: Stage 2

Comments

@MCJOHN974
Copy link

MCJOHN974 commented Nov 6, 2023 •
edited
Loading

I tried to divide negative integer into positive using both i32.div_s and i64.div_s. In both ways result was wrong. I didn't check, but now think it worth to check how other arithmetic operations work with negatives
@MCJOHN974 MCJOHN974 self-assigned this Nov 6, 2023
@MCJOHN974 MCJOHN974 added the bug Something isn't working label Nov 6, 2023
@MCJOHN974 MCJOHN974 mentioned this issue Nov 6, 2023
Merged
@aborg-dev aborg-dev added this to the ZK WASM: Stage 2 milestone Dec 5, 2023
@aborg-dev aborg-dev mentioned this issue Jan 5, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@MCJOHN974 MCJOHN974

Labels
bug Something isn't working
Projects
None yet
Milestone
ZK WASM: Stage 2
Development

No branches or pull requests
2 participants
@aborg-dev @MCJOHN974