-
Notifications
You must be signed in to change notification settings - Fork 6.2k
Pull requests: argotorg/solidity
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
docs: auto-detect user timezone for community call time
external contribution ⭐
#16236
opened Oct 8, 2025 by
abhishekbapna51
Loading…
Add support for delete operator on UDVT (new branch)
external contribution ⭐
#16227
opened Oct 5, 2025 by
Gere321123
Loading…
Add llms.txt file for AI tools context
external contribution ⭐
#16221
opened Sep 30, 2025 by
frHimanshu
Loading…
Emit warnings for keywords selected to be reserved in the future
#16206
opened Sep 24, 2025 by
matheusaaguiar
•
Draft
Add native support of EIP-712 struct typehash (continuation of prior PR)
external contribution ⭐
#16203
opened Sep 16, 2025 by
meditationduck
Loading…
Bump buildpack images
stale
The issue/PR was marked as stale because it has been open for too long.
#16199
opened Sep 10, 2025 by
r0qs
Loading…
chore: Remove redundant post-loop invalidation in DataFlowAnalyzer::operator()(Switch&
external contribution ⭐
optimizer
refactor
#16186
opened Aug 28, 2025 by
sashass1315
Loading…
fix: make parameter name fallback null-safe in Predicate::formatSummaryCall
external contribution ⭐
smt
#16179
opened Aug 21, 2025 by
Snezhkko
Loading…
docs: add Windows setup instructions for local docs build
documentation 📖
external contribution ⭐
#16171
opened Aug 15, 2025 by
NikolaiKryshnev
Loading…
Refactor Dockerfile: Add Optimizations for Building Dependencies in Dockerfile
build system 🏗️
external contribution ⭐
refactor
#16149
opened Aug 6, 2025 by
menotthakur
Loading…
docs, scripts: Fix inheritance explanation and help text typo
documentation 📖
external contribution ⭐
#16145
opened Aug 4, 2025 by
vipocenka
Loading…
docs: improved documentation of evaluation order differences
documentation 📖
external contribution ⭐
#16143
opened Aug 4, 2025 by
avorylli
Loading…
ci: add github actions for checking docs, antlr grammar, and proofs when files are changed
external contribution ⭐
#16135
opened Jul 25, 2025 by
sbillig
Loading…
testing circleci/ccache usage across prs, plz ignore
external contribution ⭐
#16126
opened Jul 19, 2025 by
sbillig
Loading…
CircleCI slimming [WIP]
external contribution ⭐
#16125
opened Jul 18, 2025 by
sbillig
Loading…
1 of 8 tasks
EIP-7939 CLZ for Osaka
external contribution ⭐
#16122
opened Jul 16, 2025 by
Saw-mon-and-Natalie
Loading…
Fix input file name display in benchmark_contract function
external contribution ⭐
#16111
opened Jul 10, 2025 by
Galoretka
Loading…
Update GitHub Actions Stale Workflow
external contribution ⭐
#16099
opened Jun 28, 2025 by
PixelPil0t1
Loading…
[DRAFT] No more isabelle ABI checking ossfuzz binary
external contribution ⭐
#16070
opened May 30, 2025 by
msooseth
Loading…
Constant evaluator support for member constants
#16056
opened May 18, 2025 by
matheusaaguiar
Loading…
Fix crash when declaring function selector of parent class as public constant
#16053
opened May 15, 2025 by
clonker
Loading…
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.