Mathias Baumann b2262d67f0 Remove unused variable Contractdefinition::m_linearizedBaseContracts		2019-03-06 11:13:01 +01:00
..
analysis	Prepare code to output errors returned by isImplicitlyConvertibleTo()	2019-03-05 10:44:36 +01:00
ast	Remove unused variable Contractdefinition::m_linearizedBaseContracts	2019-03-06 11:13:01 +01:00
codegen	Add allocateMemory helper with value known at compile time	2019-03-04 17:46:42 +01:00
formal	Fix SMT Checker crash due to missing type information	2019-02-28 11:55:45 +01:00
interface	Allow returning metadata in StandardCompiler without compilation	2019-03-04 16:19:55 +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