Alex Beregszaszi f646247dfb Consider pure as constant for the AST JSON (to aid static analyzers)

2017-08-24 14:13:34 +01:00

..

AST_accept.h

Remove visits to abstract AST class TypeName.

2017-08-22 15:12:38 +02:00

AST.cpp

z3 conditions

2017-08-23 14:24:04 +02:00

AST.h

Remove visits to abstract AST class TypeName.

2017-08-22 15:12:38 +02:00

ASTAnnotations.cpp

Fix licensing headers

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

ASTAnnotations.h

Introduce ExperimentalFeatures header

2017-08-10 00:15:25 +01:00

ASTEnums.h

Introduce pure specifier on functions

2017-08-24 13:46:18 +01:00

ASTForward.h

Replace constant/payable with StateMutability in AST

2017-08-14 14:21:47 +01:00

ASTJsonConverter.cpp

Consider pure as constant for the AST JSON (to aid static analyzers)

2017-08-24 14:13:34 +01:00

ASTJsonConverter.h

Merge pull request #2656 from ethereum/performance1

2017-08-23 13:26:43 +02:00

ASTPrinter.cpp

Remove visits to abstract AST class TypeName.

2017-08-22 15:12:38 +02:00

ASTPrinter.h

Remove visits to abstract AST class TypeName.

2017-08-22 15:12:38 +02:00

ASTUtils.cpp

Fix licensing headers

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

ASTUtils.h

Fix licensing headers

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

ASTVisitor.h

Remove visits to abstract AST class TypeName.

2017-08-22 15:12:38 +02:00

ExperimentalFeatures.h

Use experimental feature pragma for SMT checker.

2017-08-23 17:37:35 +02:00

Types.cpp

Some smaller issues found by Covertiy Scan

2017-08-22 13:55:28 +01:00

Types.h

Introduce view (and keep constant as an alias)

2017-08-22 18:24:22 +01:00