Skip to content

/ solidity

New pull request New
64 Open 6,412 Closed
64 Open 6,412 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Upgrade to EVMC 7.5.0
#11149 opened Mar 23, 2021 by axic • Review required
2
[SMTChecker] Fix compound assignment to push
#11146 opened Mar 23, 2021 by blishko • Review required
1
[SMTChecker] Add out of bounds verification target
#11145 opened Mar 23, 2021 by leonardoalt • Draft
Enable multi-source fuzzing.
#11141 opened Mar 23, 2021 by bshastry • Review required
docs: fix semantic version link
#11139 opened Mar 23, 2021 by Hongbo-Miao • Approved
10
[SMTChecker] Do not create verification targets for contracts that cannot be deployed.
#11126 opened Mar 19, 2021 by blishko • Review required
1
6
Add verbatim builtin.
#11123 opened Mar 17, 2021 by chriseth • Review required 0 of 2
1
7
[SMTChecker] Show local variables in cex
#11122 opened Mar 17, 2021 by leonardoalt • Review required
1
3
[SMTChecker] Handle InaccessibleDynamicType
#11116 opened Mar 17, 2021 by blishko • Review required
1
4
Extracts import file reading & remapping logic out of CommandLineInterface into their own classes.
#11113 opened Mar 16, 2021 by christianparpart • Changes requested
45
[isoltest] Add support for external sources.
#11110 opened Mar 15, 2021 by aarlt • Review required
1
22
Inline ordinary jumps to small blocks and jumps to terminating control flow.
takeover
#11107 opened Mar 15, 2021 by ekpyron • Review required
10
Respect memory model
#11106 opened Mar 15, 2021 by chriseth • Draft
1
Path resolution docs
#11105 opened Mar 15, 2021 by cameel • Draft
@cameel
52
[Yul Optimizer] Replace zero by returndatasize before calls.
#11093 opened Mar 11, 2021 by ekpyron • Review required
18
EVMHost: charge gas for precompiles
#11087 opened Mar 11, 2021 by axic • Draft
Minimal swaps for return variables and return label.
#11070 opened Mar 9, 2021 by ekpyron • Draft
14
[isoltest] Add return-type for builtins.
#11055 opened Mar 4, 2021 by aarlt • Draft
4
[isoltest] Add support for events using call-effects.
#11050 opened Mar 4, 2021 by aarlt
[isoltest] Add support for call-effects.
#11048 opened Mar 4, 2021 by aarlt • Draft
6
Bytes to bytesNN conversion
#11047 opened Mar 4, 2021 by mijovic • Review required 4 of 4
1
16
Revert statement.
#11037 opened Mar 3, 2021 by chriseth
22
Evaluate keccak256(a, const), when the value at memory location a is known at compile time and const <= 32
#11026 opened Mar 1, 2021 by hrkrshnn • Changes requested
59
Fixed point types.
#11019 opened Feb 25, 2021 by chriseth • Draft
1
7
[isoltest] Add support for test-hooks.
#11013 opened Feb 24, 2021 by aarlt • Draft
3
ProTip! Add no:assignee to see everything that’s not assigned.