| cmds | Merge pull request #4295 from gadfort/add-ports-stat | 2024-04-08 11:12:02 +02:00 | 
		
			
			
			
			
				| equiv | equiv_simple: Take FFs into account for driver map | 2024-02-21 12:05:52 +01:00 | 
		
			
			
			
			
				| fsm | add option to fsm_detect to ignore self-resetting | 2023-01-30 16:12:53 +01:00 | 
		
			
			
			
			
				| memory | memory_map: Explain -iattrbetter | 2024-03-06 15:15:37 +01:00 | 
		
			
			
			
			
				| opt | Merge pull request #4169 from povik/clean-opt_clean-step2 | 2024-04-13 18:12:40 +02:00 | 
		
			
			
			
			
				| sat | formalff -setundef: Fix handling for has_srst FFs | 2024-04-15 11:53:30 +02:00 | 
		
			
			
			
			
				| tests | Add $bmux and $demux cells. | 2022-01-28 23:34:41 +01:00 |