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
8c455a1a99f15ecff669acffb8bd0e750918e3ff
solidity
/
libsolidity
T
History
Martin Blicha
7078e8f8f8
[SMTChecker] Fix analysis of overriding modifiers
2020-12-17 17:05:54 +01:00
..
analysis
All explicit address conversions return a non-payable address
2020-12-14 18:41:27 +01:00
ast
Disallow some explicit conversions to address payable
2020-12-15 15:01:40 +01:00
codegen
Unary minus is not implemented for fixed point type
2020-12-15 18:02:10 +00:00
formal
[SMTChecker] Fix analysis of overriding modifiers
2020-12-17 17:05:54 +01:00
interface
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-14 11:33:40 +01:00
parsing
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-02 12:28:02 +01:00
CMakeLists.txt
Enable the -Wconversion warning
2020-12-08 16:45:24 +00:00
