| .. | 
			
		
		
			
			
			
			
				| 
					
						
							
								
								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 unused statements from the Natspec headers
						
					
				 | 
				2017-08-25 13:15:08 +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
							
						
					
				 | 
				
					
						
							
							Introduce pure specifier on functions
						
					
				 | 
				2017-08-24 13:46:18 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								StaticAnalyzer.h
							
						
					
				 | 
				
					
						
							
							Warn about large storage structures.
						
					
				 | 
				2017-08-11 20:57:57 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								SyntaxChecker.cpp
							
						
					
				 | 
				
					
						
							
							Introduce ExperimentalFeatures header
						
					
				 | 
				2017-08-10 00:15:25 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								SyntaxChecker.h
							
						
					
				 | 
				
					
						
							
							Support experimental feature pragma
						
					
				 | 
				2017-08-09 23:41:46 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								TypeChecker.cpp
							
						
					
				 | 
				
					
						
							
							Warn on using literals in tight packing
						
					
				 | 
				2017-08-25 14:16:50 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								TypeChecker.h
							
						
					
				 | 
				
					
						
							
							Use a secondary location for function override errors
						
					
				 | 
				2017-08-11 22:45:25 +01:00 |