| analysis | Merge pull request #9568 from ethereum/fixImmutables | 2020-08-28 16:14:18 +02:00 | 
		
			
			
			
			
				| formal | Make recursive structs unsupported | 2020-09-03 15:19:33 +02:00 | 
		
			
			
			
			
				| interface | Implemented UnusedFunctionArgumentPruner | 2020-09-03 13:15:38 +02:00 | 
		
			
			
			
			
				| CMakeLists.txt | Refactor predicates | 2020-09-01 16:09:56 +02:00 |