Leonardo Alt 3cb4ed83c1 [SMTChecker] Split SMTChecker into SMTEncoder and BMC		2019-07-01 15:05:03 +02:00
..
ABI.cpp	Change return type for interfaceType() to ResultType	2019-03-21 07:25:28 +01:00
ABI.h	libsolidity: Introducing TypeProvider API, for clear type system ownership.	2019-04-16 18:26:45 +02:00
CompilerStack.cpp	[SMTChecker] Split SMTChecker into SMTEncoder and BMC	2019-07-01 15:05:03 +02:00
CompilerStack.h	Enable EWasm output.	2019-06-25 19:07:38 +02:00
GasEstimator.cpp	Sort includes in libsolidity/interface	2018-12-17 19:24:42 +01:00
GasEstimator.h	EVMVersion in langutil namespace instead of solidity	2019-02-25 15:29:57 +01:00
Natspec.cpp	More style checks.	2019-02-14 11:41:20 +01:00
Natspec.h	More style checks.	2019-02-14 11:41:20 +01:00
OptimiserSettings.h	Rename "enabled" optimizer setting stage to "standard".	2019-03-21 11:04:40 +01:00
ReadFile.h	Sort includes in libsolidity/interface	2018-12-17 19:24:42 +01:00
StandardCompiler.cpp	Enable EWasm output.	2019-06-25 19:07:38 +02:00
StandardCompiler.h	Add errorRecovery boolean to StandardCompiler	2019-06-18 15:54:05 -04:00
Version.cpp	Store compiler version in CBOR metadata	2019-05-08 22:21:50 +02:00
Version.h	Store compiler version in CBOR metadata	2019-05-08 22:21:50 +02:00