Functions§
- abi_
word 🔒 - abi_
word_ 🔒usize - byte_
expr 🔒 - Returns the byte extraction expression for a symbolic word.
- byte_
word 🔒 - byte_
word_ 🔒dynamic - ensure_
jumpdest 🔒 - exp_
expr_ 🔒for_ concrete_ exponent - failed_
slot 🔒 - is_
assert_ 🔒panic - is_
assertion_ 🔒revert - is_
revert_ 🔒assertion_ failure - pow_mod 🔒
- sar 🔒
- sdiv 🔒
- shift_
left 🔒 - signed_
abs 🔒 - signextend 🔒
- signextend_
word 🔒 - signextend_
word_ 🔒dynamic - slt 🔒
- smod 🔒