cerc-io/solidity
10
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
90623d9507
solidity/libsolidity
History
chriseth 49d1f541a1
Merge pull request #10264 from ethereum/warn-conversion 
Enable -Wconversion
2020-12-08 20:37:12 +01:00
..
analysis Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00
ast Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00
codegen Merge pull request #10264 from ethereum/warn-conversion 2020-12-08 20:37:12 +01:00
formal [SMTChecker] Adding support for reporting values of structs in CEX in CHC engine. 2020-12-08 16:40:28 +01:00
interface Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00
parsing Rename AsmData -> AST 2020-11-25 17:58:02 +00:00
CMakeLists.txt Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00