| .. | 
		
		
			
			
			
			
				| 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 |