| ast | Improves Result<T> in order to prevent defects. | 2019-03-14 14:33:28 +01:00 | 
		
			
			
			
			
				| formal | [SMTChecker] Shortcut RationalNumber expressions | 2019-03-11 12:53:49 +01:00 | 
		
			
			
			
			
				| interface | Exclude internal functions in library ABIs | 2019-03-11 16:33:44 +01:00 | 
		
			
			
			
			
				| parsing | Set default EVM version to Petersburg. | 2019-03-04 14:53:00 +01:00 |