Alex Beregszaszi 32300ea3ff Merge pull request #3360 from federicobond/nonfatal-reference-errors ...

Replace some fatal errors when resolving references with normal ones

2018-02-04 13:07:55 +00:00

..

ConstantEvaluator.cpp

Re-use commonType

2017-12-12 10:45:40 +01:00

ConstantEvaluator.h

Simplify ConstantEvaluator.

2017-12-12 09:44:18 +00: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

Ensure parameter names match between headers and implementation

2017-09-20 01:23:21 +01:00

DocStringAnalyser.h

Remove parsing of why3 doc strings

2017-06-30 22:34:03 +01:00

GlobalContext.cpp

Order GlobalContext entries

2017-09-27 11:19:53 +01:00

GlobalContext.h

Fix licensing headers

2016-11-23 12:22:33 +01:00

NameAndTypeResolver.cpp

Do not consider shadowing in variable names inside event declarations

2017-10-04 13:30:26 -03:00

NameAndTypeResolver.h

Ensure parameter names match between headers and implementation

2017-09-20 01:23:21 +01:00

PostTypeChecker.cpp

Refactor error reporting

2017-05-30 07:28:31 -07:00

PostTypeChecker.h

Update outdated comments

2017-11-16 00:28:41 +09:00

ReferencesResolver.cpp

Replace some fatal errors when resolving references with normal ones

2018-02-02 14:09:32 -03: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

Turn usage of callcode into an error as experimental 0.5.0 feature

2017-10-19 02:20:30 +01:00

StaticAnalyzer.h

Update outdated comments

2017-11-16 00:28:41 +09:00

SyntaxChecker.cpp

Fix a typo

2017-11-14 21:50:09 +09:00

SyntaxChecker.h

Update outdated comments

2017-11-16 00:28:41 +09:00

TypeChecker.cpp

Issue warning for using public visibility for interface functions

2018-02-01 10:28:00 +00:00

TypeChecker.h

Update outdated comments

2017-11-16 00:28:41 +09:00

ViewPureChecker.cpp

Separate expression and statement.

2017-12-13 12:28:15 +01:00

ViewPureChecker.h

Enforce view with error for experimental 0.5.0.

2017-09-14 17:53:43 +02:00