- Notifications
You must be signed in to change notification settings - Fork6.2k
Pull requests: argotorg/solidity
Author
Uh oh!
There was an error while loading.Please reload this page.
Label
Uh oh!
There was an error while loading.Please reload this page.
Projects
Uh oh!
There was an error while loading.Please reload this page.
Milestones
Uh oh!
There was an error while loading.Please reload this page.
Reviews
Assignee
Assigned to nobodyLoading
Uh oh!
There was an error while loading.Please reload this page.
Sort
Pull requests list
Workaround for segfault with --asm on calldata array of internal functions (#16226) external contribution ⭐
#16247 openedOct 11, 2025 bysshekhar563Loading…
Correct handling of tagged prereleases build system 🏗️ has dependenciesThe PR depends on other PRs that must be merged first
bump evmone to 0.16.0 in dockerfiles build system 🏗️
#16239 openedOct 9, 2025 bymatheusaaguiarLoading…
Bump evmone version toThe PR depends on other PRs that must be merged first
0.16.0 in CI has dependencies #16231 openedOct 6, 2025 bymatheusaaguiarLoading…
Add support for delete operator on UDVT (new branch) external contribution ⭐
#16227 openedOct 5, 2025 byGere321123Loading…
Add llms.txt file for AI tools context external contribution ⭐
#16221 openedSep 30, 2025 byfrHimanshuLoading…
Emit warnings for keywords selected to be reserved in the future
#16206 openedSep 24, 2025 bymatheusaaguiar • Draft
Add native support of EIP-712 struct typehash (continuation of prior PR) external contribution ⭐
#16203 openedSep 16, 2025 bymeditationduckLoading…
chore: Remove redundant post-loop invalidation in DataFlowAnalyzer::operator()(Switch& external contribution ⭐ optimizer refactor
#16186 openedAug 28, 2025 bysashass1315Loading…
fix: make parameter name fallback null-safe in Predicate::formatSummaryCall external contribution ⭐ smt
#16179 openedAug 21, 2025 bySnezhkkoLoading…
Add various deprecation warnings staleThe issue/PR was marked as stale because it has been open for too long.
#16174 openedAug 19, 2025 bymatheusaaguiarLoading…
docs: add Windows setup instructions for local docs build documentation 📖 external contribution ⭐
#16171 openedAug 15, 2025 byNikolaiKryshnevLoading…
Refactor Dockerfile: Add Optimizations for Building Dependencies in Dockerfile build system 🏗️ external contribution ⭐ refactor
#16149 openedAug 6, 2025 bymenotthakurLoading…
docs, scripts: Fix inheritance explanation and help text typo documentation 📖 external contribution ⭐
#16145 openedAug 4, 2025 byvipocenkaLoading…
docs: improved documentation of evaluation order differences documentation 📖 external contribution ⭐
#16143 openedAug 4, 2025 byavorylliLoading…
ci: add github actions for checking docs, antlr grammar, and proofs when files are changed external contribution ⭐
#16135 openedJul 25, 2025 bysbilligLoading…
testing circleci/ccache usage across prs, plz ignore external contribution ⭐
#16126 openedJul 19, 2025 bysbilligLoading…
ProTip! Filter pull requests by the default branch withbase:develop.