This website requires JavaScript.
Explore
Help
Sign In
cerc-io
/
solidity
Watch
11
Star
0
Fork
0
mirror of
https://github.com/ethereum/solidity
synced
2023-10-03 13:03:40 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
Files
816f6ec1757d39079ac7f197469474cd12566378
solidity
/
libsolidity
T
History
Leo
4a8d6618f5
Merge pull request
#13974
from blishko/chc-path-condition
...
[SMTChecker] Use path condition in CHC engine
2023-04-24 16:24:53 +02:00
..
analysis
Remove the inaccurate Type::categoryName() and change the error message for invalid calls to one independent of the category
2023-04-20 13:50:22 +02:00
ast
Remove the inaccurate Type::categoryName() and change the error message for invalid calls to one independent of the category
2023-04-20 13:50:22 +02:00
codegen
Disallow unary plus at the parsing stage
2023-04-18 16:47:00 +02:00
formal
[SMTChecker] Use path condition when creating CHC targets
2023-04-21 18:56:34 +02:00
interface
Remove unused CompilerStack::m_sourceJsons
2023-04-20 20:01:45 +02:00
lsp
Fixes compilation errors with some clangs
2023-02-03 21:37:50 -05:00
parsing
Merge pull request
#14139
from ethereum/make-plus-binary-only
2023-04-18 21:20:31 +02:00
CMakeLists.txt
User-defined operators: AST
2023-02-22 00:06:17 +01:00
