| cmds | rename: Add -witness mode | 2022-08-16 13:37:30 +02:00 | 
		
			
			
			
			
				| equiv | Fixing old e-mail addresses and deadnames | 2021-06-08 00:39:36 +02:00 | 
		
			
			
			
			
				| fsm | Add the $anyinit cell and the formalff pass | 2022-08-16 13:37:30 +02:00 | 
		
			
			
			
			
				| hierarchy | Add the $anyinit cell and the formalff pass | 2022-08-16 13:37:30 +02:00 | 
		
			
			
			
			
				| memory | memory_map: Add -formal option | 2022-08-16 13:37:30 +02:00 | 
		
			
			
			
			
				| opt | wreduce: Keep more x-bits with -keepdc | 2022-08-16 13:37:30 +02:00 | 
		
			
			
			
			
				| pmgen | Update comment | 2022-02-02 03:21:09 +01:00 | 
		
			
			
			
			
				| techmap | support file locations containing spaces | 2022-08-08 20:30:50 +02:00 | 
		
			
			
			
			
				| tests | Add $bmux and $demux cells. | 2022-01-28 23:34:41 +01:00 |