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