diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-11-15 05:14:55 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-15 05:14:55 +0800 |
| commit | 92ebf6606764748229acf07e83dbe3824bde540e (patch) | |
| tree | bcf6fb14845fe9ec20a5eccc5a29177896d54219 /libsolidity/formal/SMTLib2Interface.cpp | |
| parent | f8b36fdf66d0eb83070189f07eb47f3ed21a099e (diff) | |
| parent | 727e3f24bc57b9470b7972fe882d60117625afe5 (diff) | |
| download | dexon-solidity-92ebf6606764748229acf07e83dbe3824bde540e.tar.gz dexon-solidity-92ebf6606764748229acf07e83dbe3824bde540e.tar.zst dexon-solidity-92ebf6606764748229acf07e83dbe3824bde540e.zip | |
Merge pull request #5368 from ethereum/noCleanupUnsigned
[Codegen] Do not perform cleanup on unsigned integers when loading from calldata.
Diffstat (limited to 'libsolidity/formal/SMTLib2Interface.cpp')
0 files changed, 0 insertions, 0 deletions