chriseth de8e9114fd Merge pull request #4740 from ethereum/enforceNumberOfReturnValues ...

Disallow empty return in function with return arguments.

2018-08-08 14:59:09 +02:00

..

ConstantEvaluator.cpp

Fix ConstantEvaluator to correctly handle single element tuples.

2018-04-11 18:30:34 +02:00

ConstantEvaluator.h

Fix ConstantEvaluator to correctly handle single element tuples.

2018-04-11 18:30:34 +02:00

ControlFlowAnalyzer.cpp

Turn warning about uninitialized storage returns into an error.

2018-08-02 19:34:38 +02:00

ControlFlowAnalyzer.h

Add control flow analyzer and test for uninitialized storage returns.

2018-05-14 20:23:40 +02:00

ControlFlowBuilder.cpp

Update control flow graph.

2018-05-16 18:32:48 +02:00

ControlFlowBuilder.h

Add control flow graph.

2018-05-14 20:23:40 +02:00

ControlFlowGraph.cpp

Add control flow graph.

2018-05-14 20:23:40 +02:00

ControlFlowGraph.h

Add control flow graph.

2018-05-14 20:23:40 +02:00

DeclarationContainer.cpp

Extend code comment about signatures.

2018-08-01 17:18:17 +02:00

DeclarationContainer.h

Fix crash for double variable declaration in the same scope.

2018-07-10 18:54:46 +02: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

Bare functions take single bytes argument.

2018-06-25 17:01:45 +02:00

GlobalContext.h

Fix licensing headers

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

NameAndTypeResolver.cpp

Do not stop after the first error in reference resolution.

2018-08-07 22:04:59 +02:00

NameAndTypeResolver.h

C99 scoping rules by default

2018-06-20 12:53:38 +02:00

PostTypeChecker.cpp

Guard CycleDetector against recursion exhaustion.

2018-08-01 12:02:59 +01:00

PostTypeChecker.h

Generalize cycle detection.

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

ReferencesResolver.cpp

Merge pull request #4699 from ethereum/cleanup_VariableDeclaration

2018-08-07 16:14:41 +02:00

ReferencesResolver.h

Remove unused 050 variable in ReferencesResolver

2018-08-06 12:03:00 +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

Enforces visibility specifier and updates docs.

2018-07-17 17:44:51 +02:00

StaticAnalyzer.h

Error on invalid arithmetic with constant expressions.

2018-04-11 21:17:10 +02:00

SyntaxChecker.cpp

Disallow functions without implementation to use modifiers. This was already the case in the experimental 0.5.0 mode.

2018-07-23 17:29:08 +01:00

SyntaxChecker.h

Suggests external for fallback and interface functions.

2018-07-17 18:07:36 +02:00

TypeChecker.cpp

Merge pull request #4740 from ethereum/enforceNumberOfReturnValues

2018-08-08 14:59:09 +02:00

TypeChecker.h

Allow enums in interfaces

2018-08-07 13:28:53 +01:00

ViewPureChecker.cpp

Do not handle balance member of contract types specially.

2018-07-20 10:50:05 +02:00

ViewPureChecker.h

Remove v050 check for enforcing "view" in ViewPureChecker.

2018-07-04 10:14:58 +02:00