| .. | 
			
		
		
			
			
			
			
				| 
					
						
							
								
								ABI.cpp
							
						
					
				 | 
				
					
						
							
							Split ABI out of InterfaceHandler
						
					
				 | 
				2017-05-19 16:11:03 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								ABI.h
							
						
					
				 | 
				
					
						
							
							Split ABI out of InterfaceHandler
						
					
				 | 
				2017-05-19 16:11:03 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								AssemblyStack.cpp
							
						
					
				 | 
				
					
						
							
							Add Julia mode as an option to EVMCodeTransform
						
					
				 | 
				2017-07-03 10:13:36 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								AssemblyStack.h
							
						
					
				 | 
				
					
						
							
							Introduce MachineAssemblyObject
						
					
				 | 
				2017-06-09 16:40:14 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								CompilerStack.cpp
							
						
					
				 | 
				
					
						
							
							Add isFallback() helper
						
					
				 | 
				2017-07-27 21:52:57 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								CompilerStack.h
							
						
					
				 | 
				
					
						
							
							Reorder CompilerStack to be in logical order
						
					
				 | 
				2017-07-26 22:16:02 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								ErrorReporter.cpp
							
						
					
				 | 
				
					
						
							
							Warn about shadowing variables.
						
					
				 | 
				2017-07-25 16:32:37 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								ErrorReporter.h
							
						
					
				 | 
				
					
						
							
							Warn about shadowing variables.
						
					
				 | 
				2017-07-25 16:32:37 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								Exceptions.cpp
							
						
					
				 | 
				
					
						
							
							Refactor exceptions and provide comment function.
						
					
				 | 
				2017-07-13 11:34:03 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								Exceptions.h
							
						
					
				 | 
				
					
						
							
							Remove Why3 error class
						
					
				 | 
				2017-06-30 22:30:43 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								GasEstimator.cpp
							
						
					
				 | 
				
					
						
							
							Fix licensing headers
						
					
				 | 
				2016-11-23 12:22:33 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								GasEstimator.h
							
						
					
				 | 
				
					
						
							
							Fix licensing headers
						
					
				 | 
				2016-11-23 12:22:33 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								Natspec.cpp
							
						
					
				 | 
				
					
						
							
							Remove unneccesary interface from Natspec
						
					
				 | 
				2017-07-18 21:05:34 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								Natspec.h
							
						
					
				 | 
				
					
						
							
							Remove unneccesary interface from Natspec
						
					
				 | 
				2017-07-18 21:05:34 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								ReadFile.h
							
						
					
				 | 
				
					
						
							
							Pull out ReadFile from CompilerStack
						
					
				 | 
				2017-04-10 12:49:47 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								SourceReferenceFormatter.cpp
							
						
					
				 | 
				
					
						
							
							Fix licensing headers
						
					
				 | 
				2016-11-23 12:22:33 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								SourceReferenceFormatter.h
							
						
					
				 | 
				
					
						
							
							Introduce formatExceptionInformation
						
					
				 | 
				2017-04-10 14:07:36 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								StandardCompiler.cpp
							
						
					
				 | 
				
					
						
							
							DocstringParsingError is not thrown anymore in StandardCompiler
						
					
				 | 
				2017-07-26 23:25:49 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								StandardCompiler.h
							
						
					
				 | 
				
					
						
							
							Document that the ReadFileCallback should not emit exceptions
						
					
				 | 
				2017-04-22 14:08:28 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								Version.cpp
							
						
					
				 | 
				
					
						
							
							Merge interface/Exceptions and interface/Utils
						
					
				 | 
				2017-06-22 11:25:07 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								Version.h
							
						
					
				 | 
				
					
						
							
							Store strict version number in metadata (exclude the platform)
						
					
				 | 
				2017-01-17 12:54:58 +00:00 |