| scripts | Fix a typo in Buildinfo.cmake | 2018-05-22 17:28:17 +02:00 | 
		
			
			
			
			
				| templates | Add other licenses. | 2017-07-01 22:59:08 +01:00 | 
		
			
			
			
			
				| EthCcache.cmake | CMake: Better ccache configuration | 2017-09-20 16:39:41 +02:00 | 
		
			
			
			
			
				| EthCompilerSettings.cmake | CMake: Add option COVERAGE | 2018-07-24 17:12:41 +02:00 | 
		
			
			
			
			
				| EthDependencies.cmake | CMake: Do no search for ctest | 2018-04-16 12:02:38 +02:00 | 
		
			
			
			
			
				| EthPolicy.cmake | Make the Solidity repository standalone. | 2016-08-01 01:45:11 -07:00 | 
		
			
			
			
			
				| EthUtils.cmake | CMake: Remove unused scripts | 2017-08-23 17:25:29 +02:00 | 
		
			
			
			
			
				| FindCVC4.cmake | [SMTChecker] Integration with CVC4 | 2018-04-17 12:26:58 +01:00 | 
		
			
			
			
			
				| FindGMP.cmake | [SMTChecker] Integration with CVC4 | 2018-04-17 12:26:58 +01:00 | 
		
			
			
			
			
				| FindZ3.cmake | CMake: Fix FindZ3 | 2017-08-24 08:31:51 +02:00 |