| ast | Merge pull request #8907 from ethereum/licenseIdentifier | 2020-05-14 01:21:24 +02:00 | 
		
			
			
			
			
				| formal | Add error IDs to BMC | 2020-05-12 11:39:18 +02:00 | 
		
			
			
			
			
				| parsing | Add support for SPDX license identifiers. | 2020-05-13 18:16:59 +02:00 | 
		
			
			
			
			
				| CMakeLists.txt | Drop Boost::system from libsolidity | 2020-05-11 11:36:11 +01:00 |