Christian Parpart bb28c8a877 Fixes wrong source location when reporting pragma solidity version conflicts.		2019-03-20 11:42:25 +01:00
..
analysis	Issue error for callvalue in nonpayable function	2019-03-19 20:45:27 +01:00
ast	Merge pull request #6294 from ethereum/merge-canBeUsedExternally-and-interfaceType-6223	2019-03-14 18:12:07 +01:00
codegen	Also output optimized yul code if requested.	2019-03-19 17:24:36 +01:00
formal	Add callstack to model report	2019-03-20 10:35:29 +01:00
interface	Introduce simplfied CBOR encoding for Metadata	2019-03-19 16:06:19 +00:00
parsing	Fixes wrong source location when reporting pragma solidity version conflicts.	2019-03-20 11:42:25 +01:00
CMakeLists.txt	Extract utility functions from ABI encoder.	2019-03-05 22:13:55 +01:00