..  
		
		
			
			
			
			
				
					
						
							
								double_mload_with_other_reassignment.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								double_mload_with_reassignment.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								double_mload.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_crash.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_fail1.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_fail2.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_reuse_basic.yul 
							
						
					 
				 
				
					
						
							
							Re-use knowledge about keccak calls. 
						
					 
				 
				2022-12-07 14:16:13 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_reuse_expr_mstore.yul 
							
						
					 
				 
				
					
						
							
							Re-use knowledge about keccak calls. 
						
					 
				 
				2022-12-07 14:16:13 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_reuse_in_expression.yul 
							
						
					 
				 
				
					
						
							
							Re-use knowledge about keccak calls. 
						
					 
				 
				2022-12-07 14:16:13 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_reuse_msize.yul 
							
						
					 
				 
				
					
						
							
							Re-use knowledge about keccak calls. 
						
					 
				 
				2022-12-07 14:16:13 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_reuse_mstore.yul 
							
						
					 
				 
				
					
						
							
							Re-use knowledge about keccak calls. 
						
					 
				 
				2022-12-07 14:16:13 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_reuse_reassigned_branch.yul 
							
						
					 
				 
				
					
						
							
							Re-use knowledge about keccak calls. 
						
					 
				 
				2022-12-07 14:16:13 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_reuse_reassigned_value.yul 
							
						
					 
				 
				
					
						
							
							Re-use knowledge about keccak calls. 
						
					 
				 
				2022-12-07 14:16:13 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_short.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_string_literal.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_symbolic_memory.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								keccak_with_msize.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								keccak.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								loop.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								memory_with_different_kinds_of_invalidation.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								memory_with_msize.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								merge_known_write_with_distance.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								merge_known_write.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								merge_mload_with_known_distance.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								merge_mload_with_rewrite.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								merge_mload_without_rewrite.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								merge_unknown_write.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								merge_with_rewrite.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								mload_in_function.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								mload_self.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								mstore_in_function_loop_body.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								mstore_in_function_loop_init.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								multi_sload_loop.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								re_store_memory.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								re_store_storage.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								reassign_value_expression.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								reassign.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								second_mstore_with_delta.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								second_store_same_value.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								second_store_with_delta.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								second_store.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								side_effects_of_user_functions.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								simple_memory.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								simple.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								staticcall.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								verbatim_mload.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00  
		
			
			
			
			
				
					
						
							
								verbatim_sload.yul 
							
						
					 
				 
				
					
						
							
							Update tests. 
						
					 
				 
				2021-11-09 14:34:05 +01:00