| .. |
|
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
|
Consider mappings return values in control flow analysis.
|
2018-08-13 16:33:37 +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
|
Rename FunctionKind SHA3 to KECCAK256 (as the instruction was renamed in libevmasm)
|
2018-08-08 22:37:40 +01: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
|
Fix data location of external reference parameters.
|
2018-08-09 15:04:00 +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
|
Cleanup & polish numbers-with-underscores parsing, also improving tests.
|
2018-08-08 13:38:46 +02:00 |
|
SyntaxChecker.h
|
Add stricter hex underscore rules
|
2018-08-08 12:05:51 +02:00 |
|
TypeChecker.cpp
|
Adds support for structs in interfaces.
|
2018-08-14 15:36:03 +02:00 |
|
TypeChecker.h
|
Adds support for structs in interfaces.
|
2018-08-14 15:36:03 +02: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 |
