Skip to content
Navigation Menu
Toggle navigation
Sign in
Product
Actions
Automate any workflow
Packages
Host and manage packages
Security
Find and fix vulnerabilities
Codespaces
Instant dev environments
GitHub Copilot
Write better code with AI
Code review
Manage code changes
Issues
Plan and track work
Discussions
Collaborate outside of code
Explore
All features
Documentation
GitHub Skills
Blog
Solutions
By size
Enterprise
Teams
Startups
By industry
Healthcare
Financial services
Manufacturing
By use case
CI/CD & Automation
DevOps
DevSecOps
Resources
Topics
AI
DevOps
Innersource
Open Source
Security
Software Development
Explore
Learning Pathways
White papers, Ebooks, Webinars
Customer Stories
Partners
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Enterprise
Enterprise platform
AI-powered developer platform
Available add-ons
Advanced Security
Enterprise-grade security features
GitHub Copilot
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
ethereum
/
solidity
Public
Notifications
You must be signed in to change notification settings
Fork
5.6k
Star
22.8k
Code
Issues
433
Pull requests
66
Actions
Projects
4
Wiki
Security
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights
Commits
Branch selector
develop
User selector
All users
All time
Commit History
Commits on Jul 18, 2024
Merge pull request
#15228
from ethereum/fix-wrong-native-locations-in-ir-optimized-ast
cameel
committed
Jul 18, 2024
8e74c48
Fix native source locations in optimized IR AST
cameel
committed
Jul 18, 2024
84b89a5
YulStack: Use util::unreachable() instead of returning unnecessary values.
cameel
committed
Jul 18, 2024
ee839e9
YulStack: Remove unused m_sourceMappings member
cameel
committed
Jul 18, 2024
94be070
Commits on Jul 17, 2024
Merge pull request
#15265
from ethereum/remove-swap-from-unique-vector
ekpyron
committed
Jul 17, 2024
91b1254
Remove swap from UniqueVector
nikola-matic
committed
Jul 17, 2024
3b85fb9
Commits on Jul 16, 2024
Merge pull request
#15262
from ethereum/subObjectNonDeterminism
ekpyron
committed
Jul 16, 2024
9d90b39
Merge pull request
#15263
from ethereum/ossfuzz-use-clang-18-1-8
ekpyron
committed
Jul 16, 2024
5565b86
Update test.
ekpyron
committed
Jul 16, 2024
c78b7e2
Order yul subobjects by order of reference.
ekpyron
and
cameel
committed
Jul 16, 2024
8840e33
Add test.
ekpyron
committed
Jul 16, 2024
630f736
Add fstream std header to not break build after compiler upgrade.
bshastry
committed
Jul 16, 2024
6ad9252
Commits on Jul 15, 2024
Merge pull request
#15256
from ethereum/smt-more-test-simplification
blishko
committed
Jul 15, 2024
e0ab0f2
Merge pull request
#14460
from ethereum/dominator
r0qs
committed
Jul 15, 2024
790b181
Merge pull request
#15261
from ethereum/yul_object_names_as_strings
clonker
committed
Jul 15, 2024
33ececa
Implementation of Lengauer-Tarjan algorithm to find dominators
r0qs
and
cameel
committed
Jul 15, 2024
d6bf14a
Yul: Object node names are std::string instead of YulString
clonker
committed
Jul 15, 2024
678e352
Commits on Jul 12, 2024
Merge pull request
#15253
from ethereum/const_function_call_finder
clonker
committed
Jul 12, 2024
64facd4
Commits on Jul 11, 2024
SMTChecker: Further test simplifications
blishko
committed
Jul 11, 2024
f53bb02
Yul: Add const version of FunctionCallFinder
clonker
committed
Jul 11, 2024
5468686
Commits on Jul 10, 2024
Merge pull request
#15254
from ethereum/smt-test-simplify
blishko
committed
Jul 10, 2024
e9d4239
SMTChecker: Simplify some of the long running tests
blishko
committed
Jul 10, 2024
e0c58e5
Commits on Jul 9, 2024
Merge pull request
#15251
from ethereum/smt-bump-z3-resource-limit
ekpyron
committed
Jul 9, 2024
5e9d38e
SMTChecker: Increase Z3 resource limit
blishko
committed
Jul 9, 2024
4c857f5
Merge pull request
#15241
from ethereum/smt-formatting-refactoring
ekpyron
committed
Jul 9, 2024
ea51386
Commits on Jul 5, 2024
SMTChecker: Move formatting methods out of Predicate
blishko
committed
Jul 5, 2024
60eb073
Commits on Jul 2, 2024
Merge pull request
#15232
from ethereum/fuzzer-filter-tstore
ekpyron
committed
Jul 2, 2024
d42f92b
Commits on Jul 1, 2024
Merge pull request
#15225
from ethereum/smt-predicate-cleanup
blishko
committed
Jul 1, 2024
8c6fed7
Merge pull request
#15209
from clonker/asm_parser_use_scanner
clonker
committed
Jul 1, 2024
8d788fb
Merge pull request
#15231
from clonker/no_literal_kind_in_block_hash
clonker
committed
Jul 1, 2024
abf88cd
BlockHasher: Do not hash literal kind
clonker
committed
Jul 1, 2024
ce02133
CI: Re-enable *_bytecode_too_large_* and *_combined_too_large* tests
clonker
committed
Jul 1, 2024
8b0bb61
AsmParser: Use scanner instead of regex for source comment parsing
clonker
committed
Jul 1, 2024
ef9aa90
Scanner: Add SpecialComment mode
clonker
committed
Jul 1, 2024
c012b72
SMTChecker: Simplify CHC predicate representation
blishko
committed
Jul 1, 2024
81966bc
Pagination
Previous
Next
You can’t perform that action at this time.