- Notifications
You must be signed in to change notification settings - Fork6.3k
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
Refactor bool literal encoding in SMTEncoder external contribution ⭐
#16312 openedNov 28, 2025 bysoniseth0Loading…
Remove duplicate include directive in CompilerUtils.h external contribution ⭐
#16311 openedNov 28, 2025 by0xLogicalxLoading…
Remove unused store_benchmark_report helper stub external contribution ⭐
#16308 openedNov 26, 2025 by0xLogicalxLoading…
Remove dormant debug logging from assembler source-map test external contribution ⭐
#16300 openedNov 24, 2025 bysoniseth0Loading…
Remove redundant else after return statements in libevmasm external contribution ⭐
#16299 openedNov 24, 2025 by0xLogicalxLoading…
ReplaceThe PR depends on other PRs that must be merged first smt testing 🔨
transfer (deprecated) occurrences withcall in smt tests has dependencies #16291 openedNov 19, 2025 bymatheusaaguiarLoading…
chore: remove unused optional include from wallet test external contribution ⭐
#16288 openedNov 13, 2025 bysoniseth0Loading…
fix: replace CMAKE_SOURCE_DIR with CMAKE_CURRENT_SOURCE_DIR external contribution ⭐
#16287 openedNov 13, 2025 bymarfvrLoading…
Remove redundant ternary when encoding boolean literals in SMTEncoder external contribution ⭐
#16286 openedNov 11, 2025 bysoniseth0Loading…
Simplify Boolean Literal SMT Encoding external contribution ⭐ refactor smt
#16284 openedNov 7, 2025 byDoryu001Loading…
Clean Up Redundant Utilities and Fix Gas Report Parsing external contribution ⭐ refactor
#16283 openedNov 7, 2025 byDoryu001Loading…
Remove redundant process import from prepare_report.js external contribution ⭐ refactor
#16281 openedNov 5, 2025 byDotFunGuyLoading…
Add support for delete operator on UDVT (new branch) external contribution ⭐
#16227 openedOct 5, 2025 byGere321123Loading…
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…
docs: add Windows setup instructions for local docs build documentation 📖 external contribution ⭐
#16171 openedAug 15, 2025 byNikolaiKryshnevLoading…
ProTip! Addno:assignee to see everything that’s not assigned.