Leonardo Alt 4214cd1354 [SMTChecker] Fix ICE when reporting cex concerning state vars from different source files

2019-08-10 20:56:52 +02:00

..

ABI.cpp

Additional type info for ABI.

2019-07-18 16:54:11 +02:00

ABI.h

Additional type info for ABI.

2019-07-18 16:54:11 +02:00

CompilerStack.cpp

[SMTChecker] Fix ICE when reporting cex concerning state vars from different source files

2019-08-10 20:56:52 +02:00

CompilerStack.h

Produce AST even when there are parser errors

2019-08-07 15:25:53 +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

Produce AST even when there are parser errors

2019-08-07 15:25:53 +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