| ast | Merge pull request #5957 from ethereum/function-param-fix | 2019-02-11 15:45:28 +01:00 | 
		
			
			
			
			
				| codegen | Allow indexed structs in events with encoder v2. | 2019-02-11 11:37:47 +01:00 | 
		
			
			
			
			
				| formal | [SMTChecker] Add mod operator | 2019-02-07 14:24:40 +01:00 | 
		
			
			
			
			
				| interface | Change FIXMEs into TODOs where appropriate | 2019-01-29 00:35:23 +00:00 | 
		
			
			
			
			
				| parsing | Use specific boost include in DocStringParser | 2019-01-31 13:14:29 +00:00 | 
		
			
			
			
			
				| CMakeLists.txt | Require Z3 >= 4.6.0 | 2019-02-07 14:24:40 +01:00 |