Alexander Arlt 
							
						 
					 
					
						
						
						
						
							
						
						
							f76d4d5919 
							
						 
					 
					
						
						
							
							Fix: natspec annotations on constructors  
						
						... 
						
						
						
						- natspec annotations on constructore where ignored. 
						
					 
					
						2018-08-08 21:53:35 +02:00 
						 
				 
			
				
					
						
							
							
								Alex Beregszaszi 
							
						 
					 
					
						
						
						
						
							
						
						
							aad829948a 
							
						 
					 
					
						
						
							
							Ensure parameter names match between headers and implementation  
						
						
						
					 
					
						2017-09-20 01:23:21 +01:00 
						 
				 
			
				
					
						
							
							
								Alex Beregszaszi 
							
						 
					 
					
						
						
						
						
							
						
						
							e03dfd8476 
							
						 
					 
					
						
						
							
							Remove unused statements from the Natspec headers  
						
						
						
					 
					
						2017-08-25 13:15:08 +01:00 
						 
				 
			
				
					
						
							
							
								Alex Beregszaszi 
							
						 
					 
					
						
						
						
						
							
						
						
							a46b3479bb 
							
						 
					 
					
						
						
							
							Remove parsing of why3 doc strings  
						
						
						
					 
					
						2017-06-30 22:34:03 +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 
						 
				 
			
				
					
						
							
							
								VoR0220 
							
						 
					 
					
						
						
						
						
							
						
						
							3f9f725737 
							
						 
					 
					
						
						
							
							Fix licensing headers  
						
						... 
						
						
						
						Signed-off-by: VoR0220 <rj@erisindustries.com> 
						
					 
					
						2016-11-23 12:22:33 +01:00 
						 
				 
			
				
					
						
							
							
								chriseth 
							
						 
					 
					
						
						
						
						
							
						
						
							8fb49d85f9 
							
						 
					 
					
						
						
							
							Allow docstrings for statements.  
						
						
						
					 
					
						2015-10-26 19:47:25 +01:00 
						 
				 
			
				
					
						
							
							
								chriseth 
							
						 
					 
					
						
						
						
						
							
						
						
							af4d687062 
							
						 
					 
					
						
						
							
							Fix indent.  
						
						
						
					 
					
						2015-10-26 17:21:32 +01:00 
						 
				 
			
				
					
						
							
							
								chriseth 
							
						 
					 
					
						
						
						
						
							
						
						
							b4f561680a 
							
						 
					 
					
						
						
							
							Store docstrings in AST annotations.  
						
						
						
					 
					
						2015-10-26 15:24:36 +01:00