We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Write simulations (no proofs yet) for the following functions in the https://github.com/formal-land/coq-of-rust/blob/main/CoqOfRust/revm/instructions/arithmetic.v file :
add
mul
sub
div
sdiv
rem
smod
addmod
mulmod
exp
signextend
The corresponding source file in Rust is https://github.com/bluealloy/revm/blob/main/crates/interpreter/src/instructions/arithmetic.rs
This task mimics formal-land/coq-of-python#7 for the Python version.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Write simulations (no proofs yet) for the following functions in the https://github.com/formal-land/coq-of-rust/blob/main/CoqOfRust/revm/instructions/arithmetic.v file :
addmulsubdivsdivremsmodaddmodmulmodexpsignextendThe corresponding source file in Rust is https://github.com/bluealloy/revm/blob/main/crates/interpreter/src/instructions/arithmetic.rs
This task mimics formal-land/coq-of-python#7 for the Python version.
The text was updated successfully, but these errors were encountered: