chriseth 388718b59f Introduce emit statement.

2018-02-22 15:17:30 +01: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

Restructure code for alternative identifier suggestions

2018-02-13 15:00:15 +00:00

DeclarationContainer.h

Minor changes.

2018-02-13 15:04:03 +00: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

Fix shadowing for imports with aliases.

2018-02-20 13:06:28 +01:00

NameAndTypeResolver.h

Suggest alternatives when identifier not found.

2018-02-13 14:54:36 +00: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

Fix: remove reference.

2018-02-13 15:04:10 +00: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

Do not warn about analysis-only experimental features.

2018-02-22 14:50:20 +01:00

SyntaxChecker.h

Deprecate the var keyword (and mark it an error as experimental 0.5.0 feature)

2018-02-12 22:37:26 +00:00

TypeChecker.cpp

Introduce emit statement.

2018-02-22 15:17:30 +01:00

TypeChecker.h

Introduce emit statement.

2018-02-22 15:17:30 +01:00

ViewPureChecker.cpp

Allow this.f.selector to be pure.

2018-02-13 11:00:59 +01:00

ViewPureChecker.h

Allow this.f.selector to be pure.

2018-02-13 11:00:59 +01:00