Alex Beregszaszi 
							
						 
					 
					
						
						
						
						
							
						
						
							aad829948a 
							
						 
					 
					
						
						
							
							Ensure parameter names match between headers and implementation  
						
						
						
					 
					
						2017-09-20 01:23:21 +01:00 
						 
				 
			
				
					
						
							
							
								Alex Beregszaszi 
							
						 
					 
					
						
						
						
						
							
						
						
							774363eb74 
							
						 
					 
					
						
						
							
							Add copy constructor to ErrorReporter (since it has assignment operator)  
						
						
						
					 
					
						2017-08-25 16:03:24 +01:00 
						 
				 
			
				
					
						
							
							
								Alex Beregszaszi 
							
						 
					 
					
						
						
						
						
							
						
						
							2a5772cff7 
							
						 
					 
					
						
						
							
							Mark appropriate constructors explicit  
						
						
						
					 
					
						2017-08-22 10:51:46 +01:00 
						 
				 
			
				
					
						
							
							
								Federico Bond 
							
						 
					 
					
						
						
						
						
							
						
						
							d4997dd9a3 
							
						 
					 
					
						
						
							
							Use a secondary location for function override errors  
						
						
						
					 
					
						2017-08-11 22:45:25 +01:00 
						 
				 
			
				
					
						
							
							
								Alex Beregszaszi 
							
						 
					 
					
						
						
						
						
							
						
						
							494dea262e 
							
						 
					 
					
						
						
							
							Show unimplemented function if trying to instantiate an abstract class  
						
						
						
					 
					
						2017-08-04 14:03:37 +01:00 
						 
				 
			
				
					
						
							
							
								Alex Beregszaszi 
							
						 
					 
					
						
						
						
						
							
						
						
							e0dc74b895 
							
						 
					 
					
						
						
							
							Warn about shadowing variables.  
						
						
						
					 
					
						2017-07-25 16:32:37 +02:00 
						 
				 
			
				
					
						
							
							
								Alex Beregszaszi 
							
						 
					 
					
						
						
						
						
							
						
						
							c5947ae6e3 
							
						 
					 
					
						
						
							
							Remove Why3 error class  
						
						
						
					 
					
						2017-06-30 22:30:43 +01:00 
						 
				 
			
				
					
						
							
							
								Rhett Aultman 
							
						 
					 
					
						
						
						
						
							
						
						
							89b60ffbd4 
							
						 
					 
					
						
						
							
							Refactor error reporting  
						
						... 
						
						
						
						This commit introduces ErrorReporter, a utility class which consolidates
all of the error logging functionality into a common set of functions.
It also replaces all direct interactions with an ErrorList with calls to
an ErrorReporter.
This commit resolves issue #2209  
						
					 
					
						2017-05-30 07:28:31 -07:00