Daniel Kirchner e7daed68c1 Merge pull request #4911 from ethereum/addressPayable ... Payable and non-payable address type.		2018-09-13 17:30:54 +02:00
..
analysis	Add payable and non-payable state mutability to AddressType.	2018-09-13 15:15:49 +02:00
ast	Add `stateMutability field to JSON AST for address` types.	2018-09-13 15:15:49 +02:00
codegen	Add payable and non-payable state mutability to AddressType.	2018-09-13 15:15:49 +02:00
formal	Split IntegerType into IntegerType and AddressType.	2018-09-05 12:19:14 +02:00
inlineasm	Merge pull request #4753 from mattaereal/boost-to-string-patch	2018-08-08 16:07:25 +01:00
interface	give more information (at most 35 chars before and after) for too long lines	2018-09-13 09:55:54 +08:00
parsing	Accept `address payable` during parsing.	2018-09-11 14:52:23 +02:00
CMakeLists.txt	Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.	2018-08-08 19:02:59 +02:00