| .. |
|
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
|
Search for shadowee starting from parent scope.
|
2017-08-04 19:06:24 +02: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
|
Search for shadowee starting from parent scope.
|
2017-08-04 19:06:24 +02:00 |
|
NameAndTypeResolver.h
|
Do not mark overloaded functions as shadowing
|
2017-08-04 19:06:23 +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
|
Fix invalid "explicit storage keyword" warning for reference members of structs.
|
2017-07-10 18:30:41 +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
|
Migrate over to ErrorReporter
|
2017-07-19 07:19:21 -07:00 |
|
StaticAnalyzer.h
|
Warn if this is used in constructor
|
2017-07-19 06:47:36 -07:00 |
|
SyntaxChecker.cpp
|
Reject unsupported experimental feature names
|
2017-08-09 23:41:46 +01:00 |
|
SyntaxChecker.h
|
Support experimental feature pragma
|
2017-08-09 23:41:46 +01:00 |
|
TypeChecker.cpp
|
Disable unimplemented library functions instead
|
2017-08-08 12:42:10 +01:00 |
|
TypeChecker.h
|
Warn about copies in storage that might overwrite unexpectedly.
|
2017-06-26 16:31:36 +02:00 |
