chriseth 2d171c25e5 Limit number of secondary source locations.		2017-12-12 10:27:28 +01:00
..
ConstantEvaluator.cpp	Improve cyclic constant error message	2017-11-22 02:11:22 +00:00
ConstantEvaluator.h	Detect cyclic constant definitions	2017-11-22 02:07:56 +00: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	Update outdated comments	2017-11-16 00:28:41 +09:00
ReferencesResolver.cpp	Use the proper error reporting interface in ConstantEvaluator	2017-10-05 20:17:54 +01:00
ReferencesResolver.h	Generate only single error in inline assembly.	2017-06-08 15:52:45 +02:00
SemVerHandler.cpp
SemVerHandler.h
StaticAnalyzer.cpp	Turn usage of callcode into an error as experimental 0.5.0 feature	2017-10-19 02:20:30 +01:00
StaticAnalyzer.h	Update outdated comments	2017-11-16 00:28:41 +09:00
SyntaxChecker.cpp	Fix a typo	2017-11-14 21:50:09 +09:00
SyntaxChecker.h	Update outdated comments	2017-11-16 00:28:41 +09:00
TypeChecker.cpp	Limit number of secondary source locations.	2017-12-12 10:27:28 +01:00
TypeChecker.h	Update outdated comments	2017-11-16 00:28:41 +09:00
ViewPureChecker.cpp	Split Instruction and FunctionalInstruction in Julia	2017-12-05 14:52:11 +00:00
ViewPureChecker.h	Enforce view with error for experimental 0.5.0.	2017-09-14 17:53:43 +02:00