solidity/libsolidity
2018-03-05 19:32:12 +01:00
..
analysis Merge pull request #3569 from ethereum/evmVersion 2018-03-05 12:10:49 +01:00
ast Do not warn about 0.5.0 experimental pragma. 2018-03-05 12:14:44 +01:00
codegen Do not retain any gas in external calls (except if EVM version is set to homestead). 2018-03-05 19:32:12 +01:00
formal This z3 option is necessary for good solving performance 2018-03-04 14:42:36 +01:00
inlineasm Only warn for shift instructions if not using constantinople 2018-03-01 17:19:35 +01:00
interface Use EVM version in gas meter and optimizer. 2018-03-05 11:36:33 +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