| 
					
						
							
								
								
									
									
									cmds
									
								
							
						
					
				 | 
				
					
						
							
							use extra_args
						
					
				 | 
				2019-12-18 12:30:30 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									equiv
									
								
							
						
					
				 | 
				
					
						
							
							xilinx: Add xilinx_dffopt pass (#1557)
						
					
				 | 
				2019-12-18 13:43:43 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									fsm
									
								
							
						
					
				 | 
				
					
						
							
							Update fsm_detect bugfix
						
					
				 | 
				2019-11-12 17:31:30 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									hierarchy
									
								
							
						
					
				 | 
				
					
						
							
							Adopt @cliffordwolf's suggestion
						
					
				 | 
				2019-09-03 12:18:50 -07: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 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									pmgen
									
								
							
						
					
				 | 
				
					
						
							
							fixed invalid char
						
					
				 | 
				2019-12-25 20:38:48 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									sat
									
								
							
						
					
				 | 
				
					
						
							
							Fix sim for assignments with lhs<rhs size, fixes #1565
						
					
				 | 
				2019-12-17 17:36:30 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									techmap
									
								
							
						
					
				 | 
				
					
						
							
							error if multiple -g options are given for abc
						
					
				 | 
				2020-01-06 19:10:13 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									tests
									
								
							
						
					
				 | 
				
					
						
							
							Document (* gentb_skip *) attr for test_autotb
						
					
				 | 
				2019-09-18 12:41:35 -07:00 |