| .. |
|
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
|
Add control flow analyzer and test for uninitialized storage returns.
|
2018-05-14 20:23:40 +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
|
Allow function overloads involving MagicVariableDeclarations.
|
2018-04-12 13:09:37 +02: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
|
Merge pull request #3364 from ethereum/revertWithReason
|
2018-04-12 21:01:08 +02:00 |
|
GlobalContext.h
|
Fix licensing headers
|
2016-11-23 12:22:33 +01:00 |
|
NameAndTypeResolver.cpp
|
Register overload for `revert()` that can receive a reason string.
|
2018-04-12 13:09:37 +02: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
|
Allow using calldata keyword to specify data location
|
2018-05-30 18:05:55 +08: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
|
Stricter check for member access to "this" in constructor.
|
2018-04-13 15:57:13 +02:00 |
|
StaticAnalyzer.h
|
Error on invalid arithmetic with constant expressions.
|
2018-04-11 21:17:10 +02:00 |
|
SyntaxChecker.cpp
|
Warn about functions named "constructor".
|
2018-04-18 21:23:09 +02:00 |
|
SyntaxChecker.h
|
Disallow empty structs
|
2018-03-27 15:49:41 +01:00 |
|
TypeChecker.cpp
|
Allow using calldata keyword to specify data location
|
2018-05-30 18:05:55 +08: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
|
Fix view/pure error ordering problem.
|
2018-06-04 17:00:37 +02:00 |
|
ViewPureChecker.h
|
Allow this.f.selector to be pure.
|
2018-02-13 11:00:59 +01:00 |
