chriseth 9c80f0fc76 Merge pull request #6155 from ethereum/defaultToPetersburg ... Set default EVM version to petersburg		2019-03-04 17:36:42 +01:00
..
analysis	Set default EVM version to Petersburg.	2019-03-04 14:53:00 +01:00
ast	Provide access to the name of contracts.	2019-02-26 14:07:03 +00:00
codegen	Use "if" instead of "switch" in codegen for the deployment time address of a library	2019-03-04 15:16:58 +01:00
formal	Fix SMT Checker crash due to missing type information	2019-02-28 11:55:45 +01:00
interface	Process and validate standard-json optimizer settings.	2019-03-04 11:40:28 +01:00
parsing	Set default EVM version to Petersburg.	2019-03-04 14:53:00 +01:00
CMakeLists.txt	Introduce global optimiser settings.	2019-03-04 11:40:28 +01:00