Daniel Kirchner 549ba801fb Use the most derived contract as main location in case of diamond inheritance.

2018-04-09 16:23:18 +02:00

..

ConstantEvaluator.cpp

Re-use commonType

2017-12-12 10:45:40 +01:00

ConstantEvaluator.h

Simplify ConstantEvaluator.

2017-12-12 09:44:18 +00:00

DeclarationContainer.cpp

Only active variables at the point of their declaration.

2018-02-27 12:17:25 +01:00

DeclarationContainer.h

Only active variables at the point of their declaration.

2018-02-27 12:17:25 +01:00

DocStringAnalyser.cpp

Ensure parameter names match between headers and implementation

2017-09-20 01:23:21 +01:00

DocStringAnalyser.h

Remove parsing of why3 doc strings

2017-06-30 22:34:03 +01:00

GlobalContext.cpp

Moves blockhash function to global level.

2018-03-27 03:30:03 +01:00

GlobalContext.h

Fix licensing headers

2016-11-23 12:22:33 +01:00

NameAndTypeResolver.cpp

Only active variables at the point of their declaration.

2018-02-27 12:17:25 +01:00

NameAndTypeResolver.h

Only active variables at the point of their declaration.

2018-02-27 12:17:25 +01:00

PostTypeChecker.cpp

Generalize cycle detection.

2018-04-03 16:29:18 +02:00

PostTypeChecker.h

Generalize cycle detection.

2018-04-03 16:29:18 +02:00

ReferencesResolver.cpp

Warn about using loose inline assembly features as experimental 0.5.0 feature.

2018-03-06 17:45:34 +01:00

ReferencesResolver.h

Only active variables at the point of their declaration.

2018-02-27 12:17:25 +01:00

SemVerHandler.cpp

Fix licensing headers

2016-11-23 12:22:33 +01:00

SemVerHandler.h

Resolve build-stopping error about 'minor' and 'major' being defined in <sys/types.h>

2017-03-09 17:03:19 -08:00

StaticAnalyzer.cpp

Move constructor argument override check to TypeChecker and reuse annotations in ContractCompiler.

2018-04-09 15:26:08 +02:00

StaticAnalyzer.h

Move constructor argument override check to TypeChecker and reuse annotations in ContractCompiler.

2018-04-09 15:26:08 +02:00

SyntaxChecker.cpp

Constructors are defined using the `constructor` keyword.

2018-04-03 18:21:55 +02:00

SyntaxChecker.h

Disallow empty structs

2018-03-27 15:49:41 +01:00

TypeChecker.cpp

Use the most derived contract as main location in case of diamond inheritance.

2018-04-09 16:23:18 +02:00

TypeChecker.h

Move constructor argument override check to TypeChecker and reuse annotations in ContractCompiler.

2018-04-09 15:26:08 +02:00

ViewPureChecker.cpp

Allow this.f.selector to be pure.

2018-02-13 11:00:59 +01:00

ViewPureChecker.h

Allow this.f.selector to be pure.

2018-02-13 11:00:59 +01:00