| 
					
						
							
								
								
									
									
									cmds
									
								
							
						
					
				 | 
				
					
						
							
							Added "tee +INT -INT"
						
					
				 | 
				2016-09-06 17:43:24 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									equiv
									
								
							
						
					
				 | 
				
					
						
							
							Added "yosys -D" feature
						
					
				 | 
				2016-04-21 23:28:37 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									fsm
									
								
							
						
					
				 | 
				
					
						
							
							Minor bugfix in FSM reset state detection
						
					
				 | 
				2016-07-12 09:46:15 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									hierarchy
									
								
							
						
					
				 | 
				
					
						
							
							Removed $predict again
						
					
				 | 
				2016-08-28 21:35:33 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									memory
									
								
							
						
					
				 | 
				
					
						
							
							Typo fix.
						
					
				 | 
				2016-09-08 10:57:16 +03:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									opt
									
								
							
						
					
				 | 
				
					
						
							
							Added opt_rmdff support for $ff cells
						
					
				 | 
				2016-10-14 13:02:36 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									sat
									
								
							
						
					
				 | 
				
					
						
							
							Added clk2fflogic support for $dffsr and $dlatch
						
					
				 | 
				2016-10-17 13:28:55 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									techmap
									
								
							
						
					
				 | 
				
					
						
							
							Build fixes for VS 2015
						
					
				 | 
				2016-10-16 20:37:02 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									tests
									
								
							
						
					
				 | 
				
					
						
							
							Cosmetic fix in test_autotb.cc
						
					
				 | 
				2016-09-19 20:43:43 +02:00 |