Daniel Kirchner e545103ec8 Extract reasonOfFailure to lambda function.		2019-08-14 17:59:48 +02:00
..
ConstantEvaluator.cpp
ConstantEvaluator.h
ContractLevelChecker.cpp	Remove trailing whitespace in error message.	2019-07-08 14:28:38 +02:00
ContractLevelChecker.h
ControlFlowAnalyzer.cpp
ControlFlowAnalyzer.h
ControlFlowBuilder.cpp
ControlFlowBuilder.h
ControlFlowGraph.cpp
ControlFlowGraph.h
DeclarationContainer.cpp
DeclarationContainer.h
DocStringAnalyser.cpp
DocStringAnalyser.h
GlobalContext.cpp
GlobalContext.h
NameAndTypeResolver.cpp
NameAndTypeResolver.h
PostTypeChecker.cpp
PostTypeChecker.h
ReferencesResolver.cpp
ReferencesResolver.h
StaticAnalyzer.cpp
StaticAnalyzer.h
SyntaxChecker.cpp	Remove ContainsMSize from side-effect-collector.	2019-08-13 13:34:33 +02:00
SyntaxChecker.h
TypeChecker.cpp	Extract reasonOfFailure to lambda function.	2019-08-14 17:59:48 +02:00
TypeChecker.h
ViewPureChecker.cpp	Fix view/pure checker for access to base.	2019-07-03 11:19:57 +02:00
ViewPureChecker.h