Alex Beregszaszi e44da40835 Warn if using experimental pragma		2017-08-09 23:41:46 +01:00
..
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	Remove parsing of why3 doc strings	2017-06-30 22:34:03 +01:00
DocStringAnalyser.h	Remove parsing of why3 doc strings	2017-06-30 22:34:03 +01:00
GlobalContext.cpp	Change references to FunctionType::Location	2017-03-16 12:49:52 +00: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	Do not mark overloaded functions as shadowing	2017-08-04 19:06:23 +02:00
PostTypeChecker.cpp	Refactor error reporting	2017-05-30 07:28:31 -07:00
PostTypeChecker.h	Refactor error reporting	2017-05-30 07:28:31 -07:00
ReferencesResolver.cpp	Fix invalid "explicit storage keyword" warning for reference members of structs.	2017-07-10 18:30:41 +02: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	Migrate over to ErrorReporter	2017-07-19 07:19:21 -07:00
StaticAnalyzer.h	Warn if this is used in constructor	2017-07-19 06:47:36 -07:00
SyntaxChecker.cpp	Warn if using experimental pragma	2017-08-09 23:41:46 +01:00
SyntaxChecker.h	Support experimental feature pragma	2017-08-09 23:41:46 +01:00
TypeChecker.cpp	Disable unimplemented library functions instead	2017-08-08 12:42:10 +01:00
TypeChecker.h	Warn about copies in storage that might overwrite unexpectedly.	2017-06-26 16:31:36 +02:00