..
ConstantEvaluator.cpp
Fix licensing headers
2016-11-23 12:22:33 +01:00
ConstantEvaluator.h
Fix licensing headers
2016-11-23 12:22:33 +01:00
DeclarationContainer.cpp
analysis: disallow overloading functions with events
2017-01-23 15:25:13 +01:00
DeclarationContainer.h
Search for shadowee starting from parent scope.
2017-08-04 19:06:24 +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
Order GlobalContext entries
2017-09-27 11:19:53 +01:00
GlobalContext.h
Fix licensing headers
2016-11-23 12:22:33 +01:00
NameAndTypeResolver.cpp
Search for shadowee starting from parent scope.
2017-08-04 19:06:24 +02:00
NameAndTypeResolver.h
Ensure parameter names match between headers and implementation
2017-09-20 01:23:21 +01:00
PostTypeChecker.cpp
Refactor error reporting
2017-05-30 07:28:31 -07:00
PostTypeChecker.h
Ensure parameter names match between headers and implementation
2017-09-20 01:23:21 +01:00
ReferencesResolver.cpp
Validate array length in type checker
2017-09-29 16:44:00 +01:00
ReferencesResolver.h
Generate only single error in inline assembly.
2017-06-08 15:52:45 +02: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
Merge pull request #2848 from ethereum/checkViewPure
2017-09-13 18:29:13 +02:00
StaticAnalyzer.h
View-pure checker.
2017-09-06 13:50:49 +02:00
SyntaxChecker.cpp
Unary + now a synax error (experimental 0.5.0)
2017-09-29 17:50:25 +01:00
SyntaxChecker.h
Warn if no visibility is specified on contract functions.
2017-09-14 15:58:04 +01:00
TypeChecker.cpp
Merge pull request #2978 from ethereum/infer-location
2017-09-27 12:13:01 +02:00
TypeChecker.h
Store super function.
2017-09-06 13:50:49 +02:00
ViewPureChecker.cpp
Enforce view with error for experimental 0.5.0.
2017-09-14 17:53:43 +02:00
ViewPureChecker.h
Enforce view with error for experimental 0.5.0.
2017-09-14 17:53:43 +02:00