| 
					
						
							
								
								
									
									
									cmds
									
								
							
						
					
				 | 
				
					
						
							
							autoname: do not autoname ports
						
					
				 | 
				2020-01-14 10:13:29 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									equiv
									
								
							
						
					
				 | 
				
					
						
							
							xilinx: Add xilinx_dffopt pass (#1557)
						
					
				 | 
				2019-12-18 13:43:43 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									hierarchy
									
								
							
						
					
				 | 
				
					
						
							
							Remove submod changes
						
					
				 | 
				2019-12-30 14:56:14 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									memory
									
								
							
						
					
				 | 
				
					
						
							
							Cleanup
						
					
				 | 
				2019-12-17 00:25:08 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									opt
									
								
							
						
					
				 | 
				
					
						
							
							Fix opt_expr.eqneq.cmpzero debug print
						
					
				 | 
				2019-12-15 20:40:38 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									sat
									
								
							
						
					
				 | 
				
					
						
							
							Add fminit pass
						
					
				 | 
				2020-01-09 21:22:54 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									techmap
									
								
							
						
					
				 | 
				
					
						
							
							abc9_ops: -prep_xaiger to skip (* keep *) cells
						
					
				 | 
				2020-01-23 18:56:06 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									tests
									
								
							
						
					
				 | 
				
					
						
							
							Document (* gentb_skip *) attr for test_autotb
						
					
				 | 
				2019-09-06 13:28:15 -07:00 |