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