chriseth 8a8a71de84 Only check tuples for valid rational numbers if they have more than one element.		2017-10-17 19:14:49 +02:00
..
ConstantEvaluator.cpp	Use the proper error reporting interface in ConstantEvaluator	2017-10-05 20:17:54 +01:00
ConstantEvaluator.h	Use the proper error reporting interface in ConstantEvaluator	2017-10-05 20:17:54 +01:00
DeclarationContainer.cpp
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
NameAndTypeResolver.cpp	Do not consider shadowing in variable names inside event declarations	2017-10-04 13:30:26 -03:00
NameAndTypeResolver.h	Ensure parameter names match between headers and implementation	2017-09-20 01:23:21 +01:00
PostTypeChecker.cpp
PostTypeChecker.h	Ensure parameter names match between headers and implementation	2017-09-20 01:23:21 +01:00
ReferencesResolver.cpp	Use the proper error reporting interface in ConstantEvaluator	2017-10-05 20:17:54 +01:00
ReferencesResolver.h
SemVerHandler.cpp
SemVerHandler.h
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	Only check tuples for valid rational numbers if they have more than one element.	2017-10-17 19:14:49 +02:00
TypeChecker.h	Extract duplicate function or event finding logic	2017-09-29 19:45:56 -03: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