Skip to content

Pull requests: ethereum/solidity

New pull request New
50 Open 8,680 Closed
50 Open 8,680 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
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 Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

SMTChecker: add insufficient funds verification target for CHC engine
#15086 opened May 8, 2024 by pgebal • Draft
1
CI: Stop installing cvc4 on archlinux
#15085 opened May 8, 2024 by blishko Loading…
4
Fix segmentation fault when resolving empty left hand side tuple expression
#15084 opened May 8, 2024 by r0qs Loading…
1
4
replace YulString with YulName typedef
#15083 opened May 8, 2024 by clonker Loading…
5
Update style-guide.rst
external contribution ⭐
#15082 opened May 8, 2024 by fearlesschenc Loading…
1
SMTChecker: Switch CVC4 from API to SMT-LIB2 interface
#15078 opened May 6, 2024 by blishko • Draft
1
Saner treatment of auto in coding style.
#15077 opened May 6, 2024 by ekpyron Loading…
10
Update resources.rst
#15076 opened May 6, 2024 by mehtavishwa30 Loading…
Add missing dependencies and extra info to optimizer step docs
documentation 📖 has dependencies The PR depends on other PRs that must be merged first optimizer
#15054 opened Apr 25, 2024 by cameel • Draft
@cameel
22
Make CommonSubExpression Eliminator consider gas costs as well as code size
optimizer
#15048 opened Apr 22, 2024 by matheusaaguiar • Draft
@matheusaaguiar
15
[seqbench] the-good-parts-mk3 sequence
optimizer
#15030 opened Apr 15, 2024 by cameel Loading…
@cameel
13
[test] Add support to run yul optimizer assembly test.
testing 🔨
#15009 opened Apr 11, 2024 by aarlt Loading…
4
Enable parser to accept transient as data location or identifier
#15001 opened Apr 8, 2024 by matheusaaguiar Loading…
1
@matheusaaguiar
36
Pass vector of SMT expressions to SymbolicFunctionVariable function operator by const ref instead of by value.
external contribution ⭐
#14981 opened Apr 3, 2024 by zo9999 Loading…
1
[yul] Transport debug data to assembly.
has dependencies The PR depends on other PRs that must be merged first
#14969 opened Mar 27, 2024 by aarlt • Draft
@aarlt
WIP: add support for transient storage in the solidity
external contribution ⭐
#14957 opened Mar 20, 2024 by Amxx • Draft
1 of 4 tasks
8
Improve the tx.origin section
external contribution ⭐
#14948 opened Mar 16, 2024 by jpenna Loading…
1
Document the possibility of high-level external calls to precompiled contracts
documentation 📖 external contribution ⭐
#14931 opened Mar 11, 2024 by mattaereal Loading…
11
syntax: Reject semver version individual parts in strings
external contribution ⭐
#14886 opened Feb 26, 2024 by Xanewok Loading…
1
4
[yul] Add support for parsing debug data attributes.
has dependencies The PR depends on other PRs that must be merged first
#14857 opened Feb 15, 2024 by aarlt Loading…
2 tasks done
@aarlt
Remove superfluous initial iteration of repeating parts of optimizer sequence
optimizer performance 🐎
#14854 opened Feb 14, 2024 by cameel Loading…
@cameel
16
Stack shuffling refactor
#14851 opened Feb 13, 2024 by r0qs • Draft
@r0qs
6
[DOCS] Updating copyright year to 2024
external contribution ⭐
#14849 opened Feb 13, 2024 by githubfromgui Loading…
2 tasks
4
Fix handling of local assembly variables in ReferencesResolver
external contribution ⭐
#14820 opened Jan 27, 2024 by 00guap Loading…
1
Move tests from test/libsolidity/ViewPureChecker.cpp to syntaxTests/viewPureChecker
external contribution ⭐ testing 🔨
#14805 opened Jan 25, 2024 by AbhinavMir • Draft
3
ProTip! Adding no:label will show everything without a label.