Loreon
Labs
Platform
Docs
Home
Ecosystems
C++
solidity
Solidity, the Contract-Oriented Programming Language
C++
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
67mo ago
Recent commits
Latest commits.
Merge pull request #10640 from ethereum/error-cleanup
8194cbb
Harikrishnan Mulackal
67mo ago
Merge pull request #10572 from ethereum/smt_abi
9328503
Đorđe Mijović
67mo ago
Improve the Error class with a constructor for secondaryLocation
9717324
Alex Beregszaszi
69mo ago
Add and update tests
50be39f
Leonardo Alt
67mo ago
Changelog
7ba91cd
Leonardo Alt
67mo ago
SMTChecker support ABI functions as UFs
2cbf33c
Leonardo Alt
67mo ago
Merge pull request #10641 from ethereum/yul-error
2fa0e3c
Alex Beregszaszi
67mo ago
Simplify StackTooDeepError in Yul
9230faf
Alex Beregszaszi
69mo ago
Top contributors
Builders behind this project.
chriseth
8K commits
axic
2.3K commits
ekpyron
651 commits
CJentzsch
561 commits
gavofyork
539 commits
cameel
416 commits
LefterisJP
409 commits
debris
358 commits