chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							261731f7ee
							
						
					 | 
					
						
						
							
							Adapt EVM codegen to new namespace.
						
						
						
						
						
					 | 
					
						2017-05-26 15:08:27 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							eaa13d42a0
							
						
					 | 
					
						
						
							
							Support multiple assembly front and backends.
						
						
						
						
						
					 | 
					
						2017-05-26 15:03:29 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							f2804c49ed
							
						
					 | 
					
						
						
							
							Handle assembly in one go to allow for different stacks.
						
						
						
						
						
					 | 
					
						2017-05-26 11:50:26 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							9a23603af2
							
						
					 | 
					
						
						
							
							Commandline options.
						
						
						
						
						
					 | 
					
						2017-05-26 11:50:26 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alex Beregszaszi
							
						 
					 | 
					
						
						
						
						
							
						
						
							bbef2cd4a8
							
						
					 | 
					
						
						
							
							Rename handleMeta to handleNatspec
						
						
						
						
						
					 | 
					
						2017-05-19 16:11:04 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alex Beregszaszi
							
						 
					 | 
					
						
						
						
						
							
						
						
							4bf3cbb09a
							
						
					 | 
					
						
						
							
							Use CompilerStack.contractABI directly
						
						
						
						
						
					 | 
					
						2017-05-19 15:57:36 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							31a5e5bfef
							
						
					 | 
					
						
						
							
							Do not overwrite files unless forced.
						
						
						
						
						
					 | 
					
						2017-03-10 19:23:43 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							8e29d636f7
							
						
					 | 
					
						
						
							
							Header cleanup.
						
						
						
						
						
					 | 
					
						2017-01-26 13:47:57 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							5789eaa78d
							
						
					 | 
					
						
						
							
							Metadata stamp.
						
						
						
						
						
					 | 
					
						2016-12-01 16:03:59 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								VoR0220
							
						 
					 | 
					
						
						
						
						
							
						
						
							3f9f725737
							
						
					 | 
					
						
						
							
							Fix licensing headers
						
						
						
						
						
						
						
						Signed-off-by: VoR0220 <rj@erisindustries.com> 
						
					 | 
					
						2016-11-23 12:22:33 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							3150ab2bcf
							
						
					 | 
					
						
						
							
							Allow remappings to change depending on the context.
						
						
						
						
						
					 | 
					
						2016-06-08 18:16:46 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							f049430723
							
						
					 | 
					
						
						
							
							Code generation (missing external access and source locations).
						
						
						
						
						
					 | 
					
						2016-03-30 02:37:00 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							949b00ed59
							
						
					 | 
					
						
						
							
							Parsing for inline assembly.
						
						
						
						
						
					 | 
					
						2016-03-30 02:37:00 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							0c5d892dba
							
						
					 | 
					
						
						
							
							Only allow including from allowed directories.
						
						
						
						
						
					 | 
					
						2016-01-29 23:11:16 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							db2f3c5714
							
						
					 | 
					
						
						
							
							Provide remappings for solc.
						
						
						
						
						
					 | 
					
						2016-01-25 21:01:55 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							a957322fd7
							
						
					 | 
					
						
						
							
							Preliminary why3 code output.
						
						
						
						
						
					 | 
					
						2015-10-27 00:49:27 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							e3dffb611f
							
						
					 | 
					
						
						
							
							File reorganisation.
						
						
						
						
						
					 | 
					
						2015-10-21 00:46:01 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							70c0ed4129
							
						
					 | 
					
						
						
							
							Commandline interface for the linker.
						
						
						
						
						
					 | 
					
						2015-09-11 19:35:01 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							895a0a819f
							
						
					 | 
					
						
						
							
							Moved solc files.
						
						
						
						
						
					 | 
					
						2015-08-19 13:12:08 +02:00 | 
					
					
						
						
							
							
							
						
					 |