..
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
Fix crash for double variable declaration in the same scope.
2018-07-10 18:54:46 +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
Add comment explaining new code
2018-07-10 18:54:46 +02:00
NameAndTypeResolver.h
C99 scoping rules by default
2018-06-20 12:53:38 +02: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
Require storage location.
2018-07-12 12:48:18 +02: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
Enforcing error on msg.gas and block.blockhash()
2018-07-04 11:42:05 +02:00
StaticAnalyzer.h
Error on invalid arithmetic with constant expressions.
2018-04-11 21:17:10 +02:00
SyntaxChecker.cpp
Generates a syntax error when declaring a variable declaration's LHS has no named components
2018-07-12 13:26:52 +02:00
SyntaxChecker.h
Generates a syntax error when declaring a variable declaration's LHS has no named components
2018-07-12 13:26:52 +02:00
TypeChecker.cpp
enforce interface-functions to be external-declared
2018-07-16 12:15:36 +02:00
TypeChecker.h
Code, Changelog, ReleaseChecklist: Fix typos.
2018-07-11 00:26:23 +02:00
ViewPureChecker.cpp
Remove v050 check for enforcing "view" in ViewPureChecker.
2018-07-04 10:14:58 +02:00
ViewPureChecker.h
Remove v050 check for enforcing "view" in ViewPureChecker.
2018-07-04 10:14:58 +02:00