This repository has been archived by the owner on Jan 5, 2019. It is now read-only.
Include symbolic execution to optimise some constructors #127
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
The biggest one could be introducing pseudo-EVM opcodes for shifting (or maybe with time they won't be psuedo, see ethereum/EIPs#145) and replace
MUL/DIV/SDIVwith two's exponent with appropriate shifts.The text was updated successfully, but these errors were encountered: