cerc-io/solidity
16
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
16780ea3ed
solidity/libsolidity
History
Alex Beregszaszi ba8819542f
Merge pull request #3611 from ethereum/warn-using-address-overload 
Warn if using address overloads on contracts
2018-03-06 19:13:55 +01:00
..
analysis Merge pull request #3611 from ethereum/warn-using-address-overload 2018-03-06 19:13:55 +01:00
ast Merge pull request #3663 from ethereum/gasleftEmscripten 2018-03-06 18:06:30 +01:00
codegen Warn about using loose inline assembly features as experimental 0.5.0 feature. 2018-03-06 17:45:34 +01:00
formal This z3 option is necessary for good solving performance 2018-03-04 14:42:36 +01:00
inlineasm Warn about using loose inline assembly features as experimental 0.5.0 feature. 2018-03-06 17:45:34 +01:00
interface Warn about using loose inline assembly features as experimental 0.5.0 feature. 2018-03-06 17:45:34 +01:00
parsing Introduce emit statement. 2018-02-22 15:17:30 +01:00
CMakeLists.txt Improve Z3 message in cmake 2017-10-13 13:33:18 +01:00