Alex Beregszaszi 5668377c72 Introduce pure specifier on functions		2017-08-24 13:46:18 +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	Introduce pure specifier on functions	2017-08-24 13:46:18 +01:00
StaticAnalyzer.h	Warn about large storage structures.	2017-08-11 20:57:57 +02:00
SyntaxChecker.cpp	Introduce ExperimentalFeatures header	2017-08-10 00:15:25 +01:00
SyntaxChecker.h	Support experimental feature pragma	2017-08-09 23:41:46 +01:00
TypeChecker.cpp	Check inheritance specifier arguments for interfaces.	2017-08-22 11:39:50 +01:00
TypeChecker.h	Use a secondary location for function override errors	2017-08-11 22:45:25 +01:00