Alex Beregszaszi a46b3479bb Remove parsing of why3 doc strings		2017-06-30 22:34:03 +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	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	Add a warning about a varialbe of the name of an instruction	2017-06-13 16:57:08 +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	Warn deprecated usage of parameter names in function types	2017-06-26 15:39:01 -03:00
SyntaxChecker.h	Warn deprecated usage of parameter names in function types	2017-06-26 15:39:01 -03:00
TypeChecker.cpp	Rename to isHexNumber()	2017-06-28 17:01:55 +01:00
TypeChecker.h	Warn about copies in storage that might overwrite unexpectedly.	2017-06-26 16:31:36 +02:00