chriseth 0400e61e28 Deprecate throw.		2017-07-05 21:15:00 +02: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	Fix licensing headers	2016-11-23 12:22:33 +01: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	Add a warning about a varialbe of the name of an instruction	2017-06-13 16:57:08 +02:00
NameAndTypeResolver.h	Add a warning about a varialbe of the name of an instruction	2017-06-13 16:57:08 +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	Warn if local storage reference variable does not use "storage" explicitly.	2017-07-05 19:38:00 +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	Warn about callcode.	2017-06-30 16:37:32 +02:00
StaticAnalyzer.h	Refactor error reporting	2017-05-30 07:28:31 -07:00
SyntaxChecker.cpp	Deprecate throw.	2017-07-05 21:15:00 +02:00
SyntaxChecker.h	Deprecate throw.	2017-07-05 21:15:00 +02:00
TypeChecker.cpp	Warn if local storage reference variable does not use "storage" explicitly.	2017-07-05 19:38:00 +02:00
TypeChecker.h	Warn about copies in storage that might overwrite unexpectedly.	2017-06-26 16:31:36 +02:00